pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'b2c422827a'
${ noResults }
infer_clone/infer/src/IR
History
Sam Blackshear 15534be574
eliminate tmp vars in resource leak error message 		9 years ago
..
AttributesTable.re Fix bug in AttributesTable stats 9 years ago
AttributesTable.rei Refactor Sil.typ into separate Typ module 9 years ago
Cfg.re Refactor Sil.typ into separate Typ module 9 years ago
Cfg.rei Refactor Sil.typ into separate Typ module 9 years ago
Cg.re Move vim comments up. 9 years ago
Cg.rei Move vim comments up. 9 years ago
Csu.re Move vim comments up. 9 years ago
Csu.rei Move vim comments up. 9 years ago
Ident.re add concept of a dummy identifier 9 years ago
Ident.rei add concept of a dummy identifier 9 years ago
IntLit.re Refactor Sil.Int into separate IntLit module 9 years ago
IntLit.rei Refactor Sil.Int into separate IntLit module 9 years ago
Location.re Move vim comments up. 9 years ago
Location.rei Move vim comments up. 9 years ago
Mangled.re Move vim comments up. 9 years ago
Mangled.rei Move vim comments up. 9 years ago
ProcAttributes.re Refactor Sil.typ into separate Typ module 9 years ago
ProcAttributes.rei Refactor Sil.typ into separate Typ module 9 years ago
Procname.re Separate the flow of the frontend checks form the translation 9 years ago
Procname.rei Separate the flow of the frontend checks form the translation 9 years ago
Pvar.re centralize creation and detection of clang tmp vars, fix errdesc/bucketing 9 years ago
Pvar.rei centralize creation and detection of clang tmp vars, fix errdesc/bucketing 9 years ago
README.md Update README with Reason dependencies 9 years ago
Sil.re eliminate tmp vars in resource leak error message 9 years ago
Sil.rei eliminate tmp vars in resource leak error message 9 years ago
Tenv.re Simplify DB initialization 9 years ago
Tenv.rei Refactor Sil.typ into separate Typ module 9 years ago
Typ.re Refactor Sil.typ into separate Typ module 9 years ago
Typ.rei Refactor Sil.typ into separate Typ module 9 years ago
Typename.re Move vim comments up. 9 years ago
Typename.rei Move vim comments up. 9 years ago

README.md

Intermediate Representation

The Intermediate Representation is a format used by the back-end for analysis. It is produced by one of the front-ends, one for each program analyzed.

The main entry point is the intermediate language in Sil.

The control flow graph module is Cfg.

The call graph module is Cg.

The type environment module is Tenv.