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.
Jules Villard 9378913223
add constructor info to c++ methods
9 years ago
..
.project initial synchronization 10 years ago
CommandLineOption.ml Simplify defining new executables 9 years ago
CommandLineOption.mli Add OCaml toplevel driver executable 9 years ago
DB.ml Simplify DB initialization 9 years ago
DB.mli Simplify DB initialization 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
README.md Created IR folder for the intermediate representaion files. 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 Optimize deserialization retrying 9 years ago
SymOp.mli Optimize deserialization retrying 9 years ago
abs.ml Refactor Sil.dexp into separate DecompExp module 9 years ago
abs.mli Remove -open(Utils) compile flag hack 9 years ago
absarray.ml Refactor Sil.binop into separate Binop module 9 years ago
absarray.mli Remove -open(Utils) compile flag hack 9 years ago
autounit.ml Refactor Sil.binop into separate Binop module 9 years ago
autounit.mli Refactor Sil.typ into separate Typ module 9 years ago
buckets.ml Refactor Sil.dexp into separate DecompExp module 9 years ago
buckets.mli Refactor Sil.dexp into separate DecompExp module 9 years ago
builtin.ml Refactor Sil.typ into separate Typ module 9 years ago
builtin.mli Refactor Sil.typ into separate Typ module 9 years ago
callbacks.ml Reimplement command line options 9 years ago
callbacks.mli Remove -open(Utils) compile flag hack 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 Start transitioning logging of frontend bugs into a map of errlogs rather than in procdescs 9 years ago
config.mli Start transitioning logging of frontend bugs into a map of errlogs rather than in procdescs 9 years ago
dom.ml Refactor Sil.Subtype into separate Subtype module 9 years ago
dom.mli Remove -open(Utils) compile flag hack 9 years ago
dotty.ml Refactor Sil.const into separate Const module 9 years ago
dotty.mli Refactor Sil.typ into separate Typ module 9 years ago
errdesc.ml Refactor Sil.dexp into separate DecompExp module 9 years ago
errdesc.mli Creating a specific type for frontend issues 9 years ago
errlog.ml Add a new error kind Advice 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 Make the description of issues specify the error kind 9 years ago
exceptions.mli Add a new error kind Advice 9 years ago
exe_env.ml Simplify DB initialization 9 years ago
exe_env.mli Remove -open(Utils) compile flag hack 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 Move analyzer type and ops from Utils to Config 9 years ago
infer.mli Add OCaml toplevel driver executable 9 years ago
inferanalyze.ml Move Logging setup to Logging 9 years ago
inferanalyze.mli Remove -open(Utils) compile flag hack 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
inferprint.ml Add a new error kind Advice 9 years ago
interproc.ml Refactor Sil.Subtype into separate Subtype module 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 Remove -open(Utils) compile flag hack 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 Remove uses of assert false to get original ml location. 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
localise.ml Creating a specific type for frontend issues 9 years ago
localise.mli Creating a specific type for frontend issues 9 years ago
logging.ml Create log dir only if results_dir exists 9 years ago
logging.mli Move Logging setup to Logging 9 years ago
match.ml Refactor Sil.binop into separate Binop module 9 years ago
match.mli Remove -open(Utils) compile flag hack 9 years ago
mergeCapture.ml make --merge accept absolute paths 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 add constructor info to c++ methods 9 years ago
modelBuiltins.mli Optimize normalization, substitution, renaming of array types 9 years ago
objc_models.ml Refactor Sil.typ into separate Typ module 9 years ago
objc_models.mli Refactor Sil.typ into separate Typ module 9 years ago
ondemand.ml Convert INFER_ONDEMAND_FILE env var to clopt 9 years ago
ondemand.mli Remove -open(Utils) compile flag hack 9 years ago
paths.ml opacify the type of node ids 9 years ago
paths.mli Remove -open(Utils) compile flag hack 9 years ago
preanal.ml Refactor Sil.call_flags into separate CallFlags module 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 Remove -open(Utils) compile flag hack 9 years ago
printer.ml Refactor Sil.typ into separate Typ module 9 years ago
printer.mli Remove -open(Utils) compile flag hack 9 years ago
prop.ml Refactor Sil.binop into separate Binop module 9 years ago
prop.mli Refactor Sil.binop into separate Binop module 9 years ago
propgraph.ml Move attributes from const to exp 9 years ago
propgraph.mli Remove -open(Utils) compile flag hack 9 years ago
propset.ml Remove -open(Utils) compile flag hack 9 years ago
propset.mli Remove -open(Utils) compile flag hack 9 years ago
prover.ml Refactor Sil.Subtype into separate Subtype module 9 years ago
prover.mli Refactor Sil.typ into separate Typ module 9 years ago
rearrange.ml switching to by-ref semantics 9 years ago
rearrange.mli Refactor Sil.typ into separate Typ module 9 years ago
reporting.ml Introducing a mechanism of white/black listing of checks/error reporting based on .inferconfig 9 years ago
reporting.mli Make the description of issues specify the error kind 9 years ago
serialization.ml Refactor Sil.typ into separate Typ module 9 years ago
serialization.mli Remove -open(Utils) compile flag hack 9 years ago
specs.ml print reason of analysis failure in html 9 years ago
specs.mli Refactor Sil.typ into separate Typ module 9 years ago
state.ml Refactor Sil.const into separate Const module 9 years ago
state.mli Refactor Sil.const into separate Const module 9 years ago
symExec.ml Refactor Sil.call_flags into separate CallFlags module 9 years ago
symExec.mli Refactor Sil.typ into separate Typ module 9 years ago
tabulation.ml Refactor Sil.Subtype into separate Subtype module 9 years ago
tabulation.mli Refactor Sil.typ into separate Typ module 9 years ago
taint.ml add constructor info to c++ methods 9 years ago
taint.mli Refactor Sil.typ into separate Typ module 9 years ago
timeout.ml Refactor Utils.SymOp into separate module 9 years ago
timeout.mli Refactor Utils.SymOp into separate module 9 years ago
utils.ml Move analyzer type and ops from Utils to Config 9 years ago
utils.mli Move analyzer type and ops from Utils to Config 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.