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 '9b315d4d08'
${ noResults }
infer_clone/infer/src/IR
History
Jules Villard 007f057f3a
[reactive] kill the changed bit of procedure attributes 		7 years ago
..
AccessExpression.ml [HIL] Explicit dereference 7 years ago
AccessExpression.mli [HIL] Explicit dereference 7 years ago
AccessPath.ml [infer] Use inline record for Typ.Tarray 7 years ago
AccessPath.mli [cleanup] remove dead code 7 years ago
Annot.ml [annotations] Pretty print also the annotations parameters 7 years ago
Annot.mli [cleanup] remove dead code 7 years ago
Attributes.ml [db] name tables with respect to their keys 7 years ago
Attributes.mli [cleanup] Remove unused code for finding correct fields in Objective-C 7 years ago
BUILTINS.ml [cleanup] Remove hidden field and related code that is not used anymore. 7 years ago
Binop.ml [cleanup] remove dead code 7 years ago
Binop.mli [cleanup] remove dead code 7 years ago
BuiltinDecl.ml [cleanup] Move ObjC/C++-specific Procname functions to dedicated module 7 years ago
BuiltinDecl.mli [format] Attach docstrings to be warning 50 clean, other doc fixes 8 years ago
CallFlags.ml [ocamlformat] Upgrade base and ocamlformat 7 years ago
CallFlags.mli [objc] Add a new call flag for calls with objc blocks as parameters 7 years ago
CallSite.ml Convert Reason to OCaml, and auto-format OCaml 8 years ago
CallSite.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
Cfg.ml [reactive] kill the changed bit of procedure attributes 7 years ago
Cfg.mli [reactive] kill the changed bit of procedure attributes 7 years ago
Const.ml [ocamlformat] Upgrade base and ocamlformat 7 years ago
Const.mli [format] Attach docstrings to be warning 50 clean, other doc fixes 8 years ago
DecompiledExp.ml [retain cycles] Use decompiled expressions in the retain cycle message 7 years ago
DecompiledExp.mli [cleanup] remove dead code 7 years ago
Errlog.ml [istd] no need to re-implement List.fold_until 7 years ago
Errlog.mli add clang_method_kind field to AnalysisIssue 7 years ago
Exceptions.ml [retain cycles] Report cycles after assignment and method call 7 years ago
Exceptions.mli [retain cycles] Report cycles after assignment and method call 7 years ago
Exp.ml [IR] kill `Exp.get_vars` 7 years ago
Exp.mli [IR] kill `Exp.get_vars` 7 years ago
HilExp.ml [HIL] Explicit dereference 7 years ago
HilExp.mli [HIL] Implicit dereference in access expression 7 years ago
HilInstr.ml [HIL] Explicit dereference 7 years ago
HilInstr.mli [HIL] Implicit dereference in access expression 7 years ago
Ident.ml [IR] add API for Sil and Exp.FreeVar 7 years ago
Ident.mli [IR] add API for Sil and Exp.FreeVar 7 years ago
IntLit.ml [cleanup] remove dead code 7 years ago
IntLit.mli [cleanup] remove dead code 7 years ago
Io_infer.ml [ocamlformat] Upgrade to ocamlformat 0.4 7 years ago
Io_infer.mli [cleanup] Remove Tags from JSON 7 years ago
LintIssues.ml [ocamlformat] Upgrade base and ocamlformat 7 years ago
LintIssues.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
Localise.ml [infer] remove the concept of advice which does not seem to be used 7 years ago
Localise.mli [infer] remove the concept of advice which does not seem to be used 7 years ago
Mangled.ml [cleanup] remove dead code 7 years ago
Mangled.mli [cleanup] remove dead code 7 years ago
Mleak_buckets.ml [istd] break IStd.ml into sensible components 7 years ago
Mleak_buckets.mli [cleanup] Remove hidden field and related code that is not used anymore. 7 years ago
Objc_models.ml [cleanup] remove dead code 7 years ago
Objc_models.mli [cleanup] remove dead code 7 years ago
PredSymb.ml [cleanup] remove dead code 7 years ago
PredSymb.mli [cleanup] remove dead code 7 years ago
ProcAttributes.ml [reactive] kill the changed bit of procedure attributes 7 years ago
ProcAttributes.mli [reactive] kill the changed bit of procedure attributes 7 years ago
Procdesc.ml [IList] move to base/ and use Core 7 years ago
Procdesc.mli [easy] Labels for Procdesc.fold_nodes/instrs 7 years ago
ProcnameDispatcher.ml [ProcnameDispatcher] Matcher for Procnames 7 years ago
ProcnameDispatcher.mli [ProcnameDispatcher] Matcher for Procnames 7 years ago
Pvar.ml [cleanup] remove dead code 7 years ago
Pvar.mli [cleanup] remove dead code 7 years ago
QualifiedCppName.ml [quandary] don't crash if JSON source/sink is invalid procedure name 7 years ago
QualifiedCppName.mli [quandary] don't crash if JSON source/sink is invalid procedure name 7 years ago
README.md Convert Reason to OCaml, and auto-format OCaml 8 years ago
Sil.ml [reactive] kill the changed bit of procedure attributes 7 years ago
Sil.mli [reactive] kill the changed bit of procedure attributes 7 years ago
SourceFiles.ml [reactive] kill the changed bit of procedure attributes 7 years ago
SourceFiles.mli base and IR build separately, biabduction/ directory 7 years ago
Subtype.ml [IList] move to base/ and use Core 7 years ago
Subtype.mli [cleanup] remove dead code 7 years ago
Tenv.ml [clang] Restore the debug tenv file for the clang frontend 7 years ago
Tenv.mli [clang] Restore the debug tenv file for the clang frontend 7 years ago
Typ.ml [infer][java] report nullable inconsistencies on library calls 7 years ago
Typ.mli [infer][java] report nullable inconsistencies on library calls 7 years ago
Unop.ml [format] Attach docstrings to be warning 50 clean, other doc fixes 8 years ago
Unop.mli [format] Attach docstrings to be warning 50 clean, other doc fixes 8 years ago
Var.ml [cleanup] stop printing `&`'s on `Var.t`'s 7 years ago
Var.mli [cleanup] stop printing `&`'s on `Var.t`'s 7 years ago
jbuild.in base and IR build separately, biabduction/ directory 7 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.