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 '6e6a7a8e5a'
${ noResults }
infer_clone/infer/src/IR
History
Cristiano Calcagno b48ec1ac93
Clean up API to access components of propositions. 		8 years ago
..
AttributesTable.re Fix bug in AttributesTable stats 9 years ago
AttributesTable.rei Refactor Sil.typ into separate Typ module 9 years ago
Binop.re Refactor Sil.binop into separate Binop module 9 years ago
Binop.rei Refactor Sil.binop into separate Binop module 9 years ago
CallFlags.re Refactor Sil.call_flags into separate CallFlags module 9 years ago
CallFlags.rei Refactor Sil.call_flags into separate CallFlags module 9 years ago
Cfg.re Clean up API to access components of propositions. 8 years ago
Cfg.rei Refactor Sil.attribute and associates to PredSymb 8 years ago
Cg.re Move vim comments up. 9 years ago
Cg.rei Move vim comments up. 9 years ago
Const.re Move Prop.Attribute to toplevel 8 years ago
Const.rei Move Prop.Attribute to toplevel 8 years ago
Csu.re Move vim comments up. 9 years ago
Csu.rei Move vim comments up. 9 years ago
DecompiledExp.re Refactor Sil.dexp into separate DecompExp module 9 years ago
DecompiledExp.rei Refactor Sil.dexp into separate DecompExp module 9 years ago
Exp.re Refactor operations on Exp.t in Sil to Exp 8 years ago
Exp.rei Refactor operations on Exp.t in Sil to Exp 8 years ago
Ident.re fix ugly printing of NONE idents 8 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
PredSymb.re Refactor Sil.attribute and associates to PredSymb 8 years ago
PredSymb.rei Refactor Sil.attribute and associates to PredSymb 8 years ago
ProcAttributes.re Refactor Sil.attribute and associates to PredSymb 8 years ago
ProcAttributes.rei Refactor Sil.attribute and associates to PredSymb 8 years ago
Procname.re add constructor info to c++ methods 8 years ago
Procname.rei add constructor info to c++ methods 8 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 Refactor Sil.attribute and associates to PredSymb 8 years ago
Sil.rei Refactor Sil.attribute and associates to PredSymb 8 years ago
Subtype.re Refactor Sil.Subtype into separate Subtype module 9 years ago
Subtype.rei Refactor Sil.Subtype into separate Subtype module 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
Unop.re Refactor Sil.unop into separate Unop module 9 years ago
Unop.rei Refactor Sil.unop into separate Unop module 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.