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 'a8be4f1f4f'
${ noResults }
infer_clone/infer/src/IR
History
Dulma Churchill 6188f1c7a5
[annotations] Print annotations in the dotty file 		8 years ago
..
Annot.re [annotations] Print annotations in the dotty file 8 years ago
Annot.rei Remove Reason comments in copyright header 8 years ago
AttributesTable.re [BetterEngineering] Replace uses of polymorphic equality 8 years ago
AttributesTable.rei [infer][backend] Add the distinction between models and regular procedure as part of the attributes 8 years ago
BUILTINS.mli Open Core.Std by default, still use Caml Hashtbl, Map, Set 8 years ago
Binop.re Remove Reason comments in copyright header 8 years ago
Binop.rei Remove Reason comments in copyright header 8 years ago
BuiltinDecl.ml Open Core.Std by default, still use Caml Hashtbl, Map, Set 8 years ago
BuiltinDecl.mli Divide Utils into Utils, Pp, and IStd 8 years ago
CallFlags.re Remove Reason comments in copyright header 8 years ago
CallFlags.rei Remove Reason comments in copyright header 8 years ago
CallSite.ml [cleanup] Simplify PrettyPrintable.Make functors 8 years ago
CallSite.mli Open Core.Std by default, still use Caml Hashtbl, Map, Set 8 years ago
Cfg.re Deprecate more IList functions and use Core List instead 8 years ago
Cfg.rei Remove Reason comments in copyright header 8 years ago
Cg.re Deprecate more IList functions and use Core List instead 8 years ago
Cg.rei Remove Reason comments in copyright header 8 years ago
Const.re Remove Reason comments in copyright header 8 years ago
Const.rei Remove Reason comments in copyright header 8 years ago
Csu.re [BetterEngineering] Replace uses of polymorphic equality 8 years ago
Csu.rei [BetterEngineering] Replace uses of polymorphic equality 8 years ago
DecompiledExp.re Deprecate IList module in favour of Core List 8 years ago
DecompiledExp.rei Remove Reason comments in copyright header 8 years ago
Errlog.ml [BetterEngineering] Replace uses of polymorphic equality 8 years ago
Errlog.mli [BetterEngineering] Replace uses of polymorphic equality 8 years ago
Exceptions.ml [BetterEngineering] Replace uses of polymorphic equality 8 years ago
Exceptions.mli [BetterEngineering] Replace uses of polymorphic equality 8 years ago
Exp.re Remove Reason comments in copyright header 8 years ago
Exp.rei Remove Reason comments in copyright header 8 years ago
Ident.re Remove Reason comments in copyright header 8 years ago
Ident.rei Remove Reason comments in copyright header 8 years ago
IntLit.re Remove Reason comments in copyright header 8 years ago
IntLit.rei Remove Reason comments in copyright header 8 years ago
Io_infer.ml [BetterEngineering] Replace uses of polymorphic equality 8 years ago
Io_infer.mli Divide Utils into Utils, Pp, and IStd 8 years ago
LintIssues.ml Divide Utils into Utils, Pp, and IStd 8 years ago
LintIssues.mli Open Core.Std by default, still use Caml Hashtbl, Map, Set 8 years ago
Localise.ml Deprecate more IList functions and use Core List instead 8 years ago
Localise.mli Inferbo 8 years ago
Location.re [BetterEngineering] Replace uses of polymorphic equality 8 years ago
Location.rei Divide Utils into Utils, Pp, and IStd 8 years ago
Mangled.re [infer] rename Mangled.Set and add Mangled.Map 8 years ago
Mangled.rei [infer] rename Mangled.Set and add Mangled.Map 8 years ago
Mleak_buckets.ml Deprecate IList module in favour of Core List 8 years ago
Mleak_buckets.mli Divide Utils into Utils, Pp, and IStd 8 years ago
Objc_models.ml Deprecate more IList functions and use Core List instead 8 years ago
Objc_models.mli Divide Utils into Utils, Pp, and IStd 8 years ago
PredSymb.re [BetterEngineering] Remove remaining uses of polymorphic equality 8 years ago
PredSymb.rei [BetterEngineering] Remove remaining uses of polymorphic equality 8 years ago
ProcAttributes.re [infer][backend] Add the distinction between models and regular procedure as part of the attributes 8 years ago
ProcAttributes.rei [infer][backend] Add the distinction between models and regular procedure as part of the attributes 8 years ago
Procdesc.re Deprecate more IList functions and use Core List instead 8 years ago
Procdesc.rei Inferbo 8 years ago
Procname.re Remove Reason comments in copyright header 8 years ago
Procname.rei Remove Reason comments in copyright header 8 years ago
Pvar.re [cleanup] Simplify PrettyPrintable.Make functors 8 years ago
Pvar.rei Remove Reason comments in copyright header 8 years ago
README.md Update README with Reason dependencies 9 years ago
Sil.re Deprecate more IList functions and use Core List instead 8 years ago
Sil.rei Deprecate more IList functions and use Core List instead 8 years ago
StructTyp.re Deprecate more IList functions and use Core List instead 8 years ago
StructTyp.rei Remove Reason comments in copyright header 8 years ago
Subtype.re Deprecate more IList functions and use Core List instead 8 years ago
Subtype.rei Remove Reason comments in copyright header 8 years ago
Tenv.re Deprecate more IList functions and use Core List instead 8 years ago
Tenv.rei Divide Utils into Utils, Pp, and IStd 8 years ago
Typ.re [debug html] Escape type names in html output 8 years ago
Typ.rei [BetterEngineering] Remove remaining uses of polymorphic equality 8 years ago
Typename.re [BetterEngineering] Replace uses of polymorphic equality 8 years ago
Typename.rei Open Core.Std by default, still use Caml Hashtbl, Map, Set 8 years ago
Unop.re Remove Reason comments in copyright header 8 years ago
Unop.rei Remove Reason comments in copyright header 8 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.