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 '28b691d9fd'
${ noResults }
infer_clone/infer/src/backend
History
Jia Chen 77c56de7a9
[infer][backend] Do not create abduced var for addresses of local variables that are marked as Aundef 		8 years ago
..
.project initial synchronization 10 years ago
Attribute.ml Prevent addresses of local vars from appearing in function summary 8 years ago
Attribute.mli [codemod] Move `Procname` into `Typ.Procname` 8 years ago
BuiltinDefn.ml Move Fieldname module inside Typ 8 years ago
BuiltinDefn.mli Divide Utils into Utils, Pp, and IStd 8 years ago
Differential.ml Add differential and filtering functionalities to Infer, to compare two analyses 8 years ago
Differential.mli [police] open IStd everywhere 8 years ago
DifferentialFilters.ml [reportdiff] add filtered out bugs to preexisting 8 years ago
DifferentialFilters.mli [reportdiff] add filtered out bugs to preexisting 8 years ago
InferAnalyze.re update opam deps 8 years ago
InferAnalyze.rei [rundiff] thread the changed files list through the code instead of using the Config-time value 8 years ago
InferPrint.re [linters] Add an optional doc_url field to linters to specify the url to some documentation online. 8 years ago
InferPrint.rei Add optional field in serialized output 8 years ago
OndemandCapture.ml [log] log to a single file with different categories and debug levels 8 years ago
PerfStats.ml [perfstats] do not register the same file twice in the same process 8 years ago
PerfStats.mli [buck] do not generate non-deterministic data inside buck-out 8 years ago
PropUtil.re [infer][backend] Deallocate local variables before formal parameters 8 years ago
PropUtil.rei Divide Utils into Utils, Pp, and IStd 8 years ago
README.md [CLI] switch to infer-<command> (symlinks) executables 8 years ago
StatsAggregator.re [utils] make `read_file` return a `Result.t` 8 years ago
StatsAggregator.rei Divide Utils into Utils, Pp, and IStd 8 years ago
Tasks.ml [log] log to a single file with different categories and debug levels 8 years ago
Tasks.mli [backend] Add support for command-line option --per-procedure-parallelism 8 years ago
abs.ml Move Fieldname module inside Typ 8 years ago
abs.mli [codemod] Move `Procname` into `Typ.Procname` 8 years ago
absarray.ml Move Fieldname module inside Typ 8 years ago
absarray.mli Divide Utils into Utils, Pp, and IStd 8 years ago
buckets.ml Deprecate further IList functions 8 years ago
buckets.mli Divide Utils into Utils, Pp, and IStd 8 years ago
builtin.ml [codemod] Move `Procname` into `Typ.Procname` 8 years ago
builtin.mli [codemod] Move `Procname` into `Typ.Procname` 8 years ago
callbacks.ml update opam deps 8 years ago
callbacks.mli [CLI] options to unset default checkers and to print active checkers 8 years ago
cluster.ml [log] log to a single file with different categories and debug levels 8 years ago
cluster.mli Divide Utils into Utils, Pp, and IStd 8 years ago
clusterMakefile.ml update opam deps 8 years ago
crashcontext.ml Deprecate further IList functions 8 years ago
crashcontext.mli Open Core.Std by default, still use Caml Hashtbl, Map, Set 8 years ago
dom.ml Move Fieldname module inside Typ 8 years ago
dom.mli [codemod] Move `Procname` into `Typ.Procname` 8 years ago
dotty.ml update opam deps 8 years ago
dotty.mli Move Fieldname module inside Typ 8 years ago
errdesc.ml [infer][cpp] Fixed the error message for dangling pointer dereference when the dereference comes from C++ `delete` operator 8 years ago
errdesc.mli Move Fieldname module inside Typ 8 years ago
exe_env.ml [log] log to a single file with different categories and debug levels 8 years ago
exe_env.mli [backend] Add support for command-line option --per-procedure-parallelism 8 years ago
infer.ml [driver] move things around 8 years ago
infer.mli Divide Utils into Utils, Pp, and IStd 8 years ago
inferconfig.ml update opam deps 8 years ago
inferconfig.mli [codemod] Move `Procname` into `Typ.Procname` 8 years ago
interproc.ml update opam deps 8 years ago
interproc.mli [infer] First step to the biabduction analysis using the checkers framework 8 years ago
joinState.ml [BetterEngineering] Remove remaining uses of polymorphic equality 8 years ago
joinState.mli [BetterEngineering] Remove remaining uses of polymorphic equality 8 years ago
jsonbug.atd [linters] Add an optional doc_url field to linters to specify the url to some documentation online. 8 years ago
match.ml Move Fieldname module inside Typ 8 years ago
match.mli Divide Utils into Utils, Pp, and IStd 8 years ago
mergeCapture.ml update opam deps 8 years ago
mergeCapture.mli [merge] only try to read/create multilink files when --merge is specified 8 years ago
ondemand.ml [rundiff] thread the changed files list through the code instead of using the Config-time value 8 years ago
ondemand.mli [rundiff] thread the changed files list through the code instead of using the Config-time value 8 years ago
paths.ml Add location information to boolean conditions in paths. Improves comprehension a little 8 years ago
paths.mli Add type path_exec to represent an skipped path of execution. Add logic to symExec to report skipped paths 8 years ago
preanal.ml [absint] make Set and Map functors take an ordered type 8 years ago
preanal.mli [infer][java] choose the dynamic dispatch handling mode from the command line 8 years ago
printer.ml Add --write-html-regex-whitelist option that prints out debugging html only for selected source files 8 years ago
printer.mli [infer][ondemand] The source parameter from the analysis callback was never used 8 years ago
prop.ml Move Fieldname module inside Typ 8 years ago
prop.mli Divide Utils into Utils, Pp, and IStd 8 years ago
propgraph.ml Move Fieldname module inside Typ 8 years ago
propgraph.mli Divide Utils into Utils, Pp, and IStd 8 years ago
propset.ml Deprecate IList part 3. 8 years ago
propset.mli Divide Utils into Utils, Pp, and IStd 8 years ago
prover.ml update opam deps 8 years ago
prover.mli [codemod] Move `Procname` into `Typ.Procname` 8 years ago
rearrange.ml Move Fieldname module inside Typ 8 years ago
rearrange.mli [ios] Translate nonnull annotations and take them into account in parameter not null checked issues. 8 years ago
reporting.ml [linters] Add an optional doc_url field to linters to specify the url to some documentation online. 8 years ago
reporting.mli [linters] Add an optional doc_url field to linters to specify the url to some documentation online. 8 years ago
specs.ml update opam deps 8 years ago
specs.mli [SRI summer school] skeleton code for lab 8 years ago
state.ml [linters] Add an optional doc_url field to linters to specify the url to some documentation online. 8 years ago
state.mli [linters] Add an optional doc_url field to linters to specify the url to some documentation online. 8 years ago
symExec.ml [infer][backend] Do not create abduced var for addresses of local variables that are marked as Aundef 8 years ago
symExec.mli [IR] Make template info part of Typename.t, rename Typename to Typ.Name 8 years ago
tabulation.ml Move Fieldname module inside Typ 8 years ago
tabulation.mli [infer][backend] remove the function Specs.get_specs_formals 8 years ago
taint.ml Move Fieldname module inside Typ 8 years ago
taint.mli Move Fieldname module inside Typ 8 years ago
timeout.ml [log] log to a single file with different categories and debug levels 8 years ago
timeout.mli Divide Utils into Utils, Pp, and IStd 8 years ago

README.md

Back End

The back end is responsible for the analysis of a project starting from an intermediate representation stored in the results directory, typically infer-out.

The main entry point is module InferAnalyze.

Module InferPrint is used to export the analysis results.