Skip to content

Tags: dstars89/infer

Tags

v0.3.0

Toggle v0.3.0's commit message
Translate call instruction and construct call graph.

v0.2.0

Toggle v0.2.0's commit message
bumping Infer version to 0.2.0

v0.1.1

Toggle v0.1.1's commit message
Bump infer version to 0.1.1

v0.1.0

Toggle v0.1.0's commit message
Fixed model for getc and fgetc