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 '0817ab0ec2'
${ noResults }
infer_clone/infer/src/backend
History
Josh Berdine 548338bb4e
Move mk_struct to Tenv 		9 years ago
..
.project initial synchronization 10 years ago
Attribute.ml Pass tenv to everywhere that matches on Tstruct 9 years ago
Attribute.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
CallSite.ml extract callsite to its own module 9 years ago
CallSite.mli extract callsite to its own module 9 years ago
CommandLineOption.ml New buck integration based on the compilation database emitted by buck 9 years ago
CommandLineOption.mli New buck integration based on the compilation database emitted by buck 9 years ago
DB.ml Catch Unix exceptions in DB.create_dir 9 years ago
DB.mli New buck integration based on the compilation database emitted by buck 9 years ago
InferAnalyze.re Convert infer c++ tests to new format 9 years ago
InferAnalyze.rei Convert Inferprint and Inferanalyze to Reason 9 years ago
InferPrint.re Fix flakiness in the analysis when a procedure is defined in more than one file. 9 years ago
PerfStats.ml Stats aggregator for frontend/backend/reporting 9 years ago
PerfStats.mli Stats aggregator for frontend/backend/reporting 9 years ago
Process.ml Remove compilation warning 9 years ago
Process.mli New buck integration based on the compilation database emitted by buck 9 years ago
README.md Convert Inferprint and Inferanalyze to Reason 9 years ago
StatisticsToolbox.re Fix mod_dep for reason conversion, add mod_dep.pdf 9 years ago
StatisticsToolbox.rei Fix mod_dep for reason conversion, add mod_dep.pdf 9 years ago
SymOp.ml Enable warning: Unexpected documentation comment 9 years ago
SymOp.mli Enable warning: Unexpected documentation comment 9 years ago
abs.ml Make Typ.struct_typ private and add Typ.mk_struct 9 years ago
abs.mli Remove -open(Utils) compile flag hack 9 years ago
absarray.ml Make Typ.struct_typ private and add Typ.mk_struct 9 years ago
absarray.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
buckets.ml Clean up special handling of smart pointers in backend 9 years ago
buckets.mli Refactor Sil.dexp into separate DecompExp module 9 years ago
builtin.ml Refactor Sil.exp to Exp.t 9 years ago
builtin.mli Refactor Sil.exp to Exp.t 9 years ago
callbacks.ml Pass tenv to everywhere that matches on Tstruct 9 years ago
callbacks.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
cluster.ml Remove -open(Utils) compile flag hack 9 years ago
cluster.mli Remove -open(Utils) compile flag hack 9 years ago
clusterMakefile.ml Reimplement command line options 9 years ago
config.ml Convert infer c++ tests to new format 9 years ago
config.mli Convert infer c++ tests to new format 9 years ago
crashcontext.ml fixing issue where crashcontext breaks without -o 9 years ago
crashcontext.mli Add top of file documentation for crashcontext.mli 9 years ago
dom.ml Pass tenv to everywhere that matches on Tstruct 9 years ago
dom.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
dotty.ml Pass tenv to everywhere that matches on Tstruct 9 years ago
dotty.mli Refactor Sil.typ into separate Typ module 9 years ago
errdesc.ml Make Typ.struct_typ private and add Typ.mk_struct 9 years ago
errdesc.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
errlog.ml Store the issue file only if there are issues 9 years ago
errlog.mli Remove -open(Utils) compile flag hack 9 years ago
escape.ml Remove -open(Utils) compile flag hack 9 years ago
escape.mli Remove -open(Utils) compile flag hack 9 years ago
exceptions.ml Refactor Sil.attribute and associates to PredSymb 9 years ago
exceptions.mli Refactor Sil.attribute and associates to PredSymb 9 years ago
exe_env.ml Convert infer c++ tests to new format 9 years ago
exe_env.mli Convert infer c++ tests to new format 9 years ago
iList.ml eliminating dead stores created by copy-propagation 9 years ago
iList.mli eliminating dead stores created by copy-propagation 9 years ago
infer.ml New buck integration based on the compilation database emitted by buck 9 years ago
infer.mli Add OCaml toplevel driver executable 9 years ago
inferconfig.ml Move analyzer type and ops from Utils to Config 9 years ago
inferconfig.mli Move analyzer type and ops from Utils to Config 9 years ago
interproc.ml Expand Tvar to Tstruct as needed 9 years ago
interproc.mli Remove -open(Utils) compile flag hack 9 years ago
io_infer.ml Refactor Utils.SymOp into separate module 9 years ago
io_infer.mli Enable warning: Unexpected documentation comment 9 years ago
joinState.ml Remove -open(Utils) compile flag hack 9 years ago
joinState.mli Remove -open(Utils) compile flag hack 9 years ago
jsonbug.atd Add column to json file of issues 9 years ago
latex.ml Remove -open(Utils) compile flag hack 9 years ago
latex.mli Remove -open(Utils) compile flag hack 9 years ago
lintIssues.ml Store the issue file only if there are issues 9 years ago
lintIssues.mli Store the issue file only if there are issues 9 years ago
localise.ml Expand Tvar to Tstruct as needed 9 years ago
localise.mli Clean up special handling of smart pointers in backend 9 years ago
logging.ml New buck integration based on the compilation database emitted by buck 9 years ago
logging.mli New buck integration based on the compilation database emitted by buck 9 years ago
match.ml Pass tenv to everywhere that matches on Tstruct 9 years ago
match.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
mergeCapture.ml Enable warning: Unexpected documentation comment 9 years ago
mleak_buckets.ml Reimplement command line options 9 years ago
mleak_buckets.mli Refactor Sil.typ into separate Typ module 9 years ago
modelBuiltins.ml Expand Tvar to Tstruct as needed 9 years ago
modelBuiltins.mli Enable warning: Unexpected documentation comment 9 years ago
objc_models.ml Replace optional mangled struct_name with typename 9 years ago
objc_models.mli Refactor Sil.typ into separate Typ module 9 years ago
ondemand.ml Pass tenv to everywhere that matches on Tstruct 9 years ago
ondemand.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
paths.ml Pass tenv to everywhere that matches on Tstruct 9 years ago
paths.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
preanal.ml replace stackop instruction with skip instruction 9 years ago
preanal.mli doing preanalysis on-demand 9 years ago
prettyPrintable.ml Remove -open(Utils) compile flag hack 9 years ago
prettyPrintable.mli intraprocedural taint analysis that records sources 9 years ago
printer.ml Convert infer c++ tests to new format 9 years ago
printer.mli Remove -open(Utils) compile flag hack 9 years ago
prop.ml Make Typ.struct_typ private and add Typ.mk_struct 9 years ago
prop.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
propgraph.ml Clean up API to access components of propositions. 9 years ago
propgraph.mli Generalize predicates from unary to nary 9 years ago
propset.ml Pass tenv to everywhere that matches on Tstruct 9 years ago
propset.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
prover.ml Move mk_struct to Tenv 9 years ago
prover.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
rearrange.ml Move mk_struct to Tenv 9 years ago
rearrange.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
reporting.ml killing a bunch of options by using optional argument types correctly 9 years ago
reporting.mli killing a bunch of options by using optional argument types correctly 9 years ago
serialization.ml Refactor InferPrint and store the lint issues in a serialized data structure that InferPrint picks up and prints. 9 years ago
serialization.mli Refactor InferPrint and store the lint issues in a serialized data structure that InferPrint picks up and prints. 9 years ago
specs.ml Pass tenv to everywhere that matches on Tstruct 9 years ago
specs.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
state.ml replace stackop instruction with skip instruction 9 years ago
state.mli killing a bunch of options by using optional argument types correctly 9 years ago
symExec.ml Move mk_struct to Tenv 9 years ago
symExec.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
tabulation.ml Make Typ.struct_typ private and add Typ.mk_struct 9 years ago
tabulation.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
taint.ml Make Typ.struct_typ private and add Typ.mk_struct 9 years ago
taint.mli Pass tenv to everywhere that matches on Tstruct 9 years ago
timeout.ml Enable warning: Unexpected documentation comment 9 years ago
timeout.mli Refactor Utils.SymOp into separate module 9 years ago
utils.ml Enable warning: Unexpected documentation comment 9 years ago
utils.mli Enable warning: Unexpected documentation comment 9 years ago
version.ml.in Remove -open(Utils) compile flag hack 9 years ago
version.mli Remove -open(Utils) compile flag hack 9 years ago
zipLib.ml Reimplement command line options 9 years ago
zipLib.mli Lazily load summaries from zip files 9 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 which produces the back-end executable InferAnalyze.

Module InferPrint produces the executable InferPrint, which is used to export analysis results.