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 '5ed970efa9'
${ noResults }
infer_clone/infer/src/IR
History
Dulma Churchill 08c1c5bbf0
Change desc of npe message regarding pointer inside smart pointers 		9 years ago
..
AttributesTable.re Stats aggregator for frontend/backend/reporting 9 years ago
AttributesTable.rei Stats aggregator for frontend/backend/reporting 9 years ago
Cfg.re doing preanalysis on-demand 9 years ago
Cfg.rei reporting error on unprotected access to field annotated with @GuardedBy 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 Change desc of npe message regarding pointer inside smart pointers 9 years ago
Ident.rei Change desc of npe message regarding pointer inside smart pointers 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 Move vim comments up. 9 years ago
ProcAttributes.rei Move vim comments up. 9 years ago
Procname.re Move vim comments up. 9 years ago
Procname.rei Move vim comments up. 9 years ago
Pvar.re Move vim comments up. 9 years ago
Pvar.rei Move vim comments up. 9 years ago
README.md Update README with Reason dependencies 9 years ago
Sil.re kill uses of Config.curr_language in subtyping part of prover.ml 9 years ago
Sil.rei kill uses of Config.curr_language in subtyping part of prover.ml 9 years ago
Tenv.re Move vim comments up. 9 years ago
Tenv.rei Move vim comments up. 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.