.. |
.project
|
initial synchronization
|
10 years ago |
DB.ml
|
Revamped Timeout module to save and restore seconds and symops.
|
9 years ago |
DB.mli
|
Remove unused support for ocaml < 4.02
|
9 years ago |
PROFILE_HOWTO
|
initial synchronization
|
10 years ago |
abs.ml
|
fixing tenv_lookup
|
9 years ago |
abs.mli
|
Save global state for abstraction for on-demand.
|
9 years ago |
absarray.ml
|
Warn on unused identifiers
|
9 years ago |
absarray.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
attributesTable.ml
|
Open Utils implicitly
|
9 years ago |
attributesTable.mli
|
[backend] Extend results directory with attributes for each procedure.
|
9 years ago |
autounit.ml
|
kill Tenum
|
9 years ago |
autounit.mli
|
Use the Mangled module to name the parameters in the procudure description instead of simple string
|
9 years ago |
buckets.ml
|
Warn on unused identifiers
|
9 years ago |
buckets.mli
|
Open Utils implicitly
|
9 years ago |
callbacks.ml
|
Avoid loading the cfg explicitly to find a proc desc.
|
9 years ago |
callbacks.mli
|
Avoid loading the cfg explicitly to find a proc desc.
|
9 years ago |
cfg.ml
|
Clean up code to produce html pages of analysis results in debug mode.
|
9 years ago |
cfg.mli
|
Clean up code to produce html pages of analysis results in debug mode.
|
9 years ago |
cg.ml
|
Keep only on-demand infrastructure and delete the rest or the infrastructure.
|
9 years ago |
cg.mli
|
Keep only on-demand infrastructure and delete the rest or the infrastructure.
|
9 years ago |
cluster.ml
|
Cleanup toplevel InferAnalyze and include procedures in the progress bar.
|
9 years ago |
cluster.mli
|
Cleanup toplevel InferAnalyze and include procedures in the progress bar.
|
9 years ago |
clusterMakefile.ml
|
Cleanup toplevel InferAnalyze and include procedures in the progress bar.
|
9 years ago |
config.ml
|
Simplify code in SymExec: cleanup and look up cfg.
|
9 years ago |
csu.ml
|
Open Utils implicitly
|
9 years ago |
csu.mli
|
Distinguish between class kinds: CPP, Java, Objc
|
9 years ago |
dom.ml
|
Save global state for abstraction for on-demand.
|
9 years ago |
dom.mli
|
Open Utils implicitly
|
9 years ago |
dotty.ml
|
Warn on unused identifiers
|
9 years ago |
dotty.mli
|
Add dotty information about retain cycle
|
9 years ago |
errdesc.ml
|
adding type-specific taint error messages
|
9 years ago |
errdesc.mli
|
adding type-specific taint error messages
|
9 years ago |
errlog.ml
|
Warn on unused identifiers
|
9 years ago |
errlog.mli
|
Open Utils implicitly
|
9 years ago |
exceptions.ml
|
Introducing checker for observer of notification centers
|
9 years ago |
exceptions.mli
|
Introducing checker for observer of notification centers
|
9 years ago |
exe_env.ml
|
Avoid loading the cfg explicitly to find a proc desc.
|
9 years ago |
exe_env.mli
|
Avoid loading the cfg explicitly to find a proc desc.
|
9 years ago |
iList.ml
|
Warn on unused identifiers
|
9 years ago |
iList.mli
|
Add support for specifying the list of files to be analyzed in on-demand mode.
|
9 years ago |
ident.ml
|
Initial support for lazy dynamic dispatch
|
9 years ago |
ident.mli
|
Initial support for lazy dynamic dispatch
|
9 years ago |
inferanalyze.ml
|
Clean up code to produce html pages of analysis results in debug mode.
|
9 years ago |
inferanalyze.mli
|
Cleanup toplevel InferAnalyze and include procedures in the progress bar.
|
9 years ago |
inferconfig.ml
|
Simplify the code to collect the list of @SuppressWarnings annotations
|
9 years ago |
inferconfig.mli
|
Simplify the code to collect the list of @SuppressWarnings annotations
|
9 years ago |
inferprint.ml
|
Add support for @SuppressWarnings for Gradle and Ant projects.
|
9 years ago |
interproc.ml
|
Clean up code to produce html pages of analysis results in debug mode.
|
9 years ago |
interproc.mli
|
Save global state for abstraction for on-demand.
|
9 years ago |
io_infer.ml
|
Clean up code to produce html pages of analysis results in debug mode.
|
9 years ago |
io_infer.mli
|
Revamped Timeout module to save and restore seconds and symops.
|
9 years ago |
jsonbug.atd
|
Remove uses of assert false to get original ml location.
|
9 years ago |
latex.ml
|
Open Utils implicitly
|
9 years ago |
latex.mli
|
Revamped Timeout module to save and restore seconds and symops.
|
9 years ago |
localise.ml
|
adding type-specific taint error messages
|
9 years ago |
localise.mli
|
adding type-specific taint error messages
|
9 years ago |
location.ml
|
Open Utils implicitly
|
9 years ago |
location.mli
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
logging.ml
|
Activate timeout logging in the progress bar when developer mode is on.
|
9 years ago |
logging.mli
|
Activate timeout logging in the progress bar when developer mode is on.
|
9 years ago |
mangled.ml
|
Open Utils implicitly
|
9 years ago |
mangled.mli
|
Open Utils implicitly
|
9 years ago |
match.ml
|
Warn on unused identifiers
|
9 years ago |
match.mli
|
Open Utils implicitly
|
9 years ago |
mleak_buckets.ml
|
Warn of unused values
|
9 years ago |
mleak_buckets.mli
|
Add memory bucket for internal memory leak errors
|
9 years ago |
objc_models.ml
|
Warn of unused values
|
9 years ago |
objc_models.mli
|
Open Utils implicitly
|
9 years ago |
ondemand.ml
|
Clean up code to produce html pages of analysis results in debug mode.
|
9 years ago |
ondemand.mli
|
Avoid loading the cfg explicitly to find a proc desc.
|
9 years ago |
paths.ml
|
Warn on unused identifiers
|
9 years ago |
paths.mli
|
Open Utils implicitly
|
9 years ago |
preanal.ml
|
Fix pre-analysis crash in master.
|
9 years ago |
preanal.mli
|
Adding on-the-fly translation of types during pre-analysis
|
9 years ago |
prettyPrintable.ml
|
pretty-printable versions of common data structures
|
9 years ago |
prettyPrintable.mli
|
pretty-printable versions of common data structures
|
9 years ago |
printer.ml
|
Clean up code to produce html pages of analysis results in debug mode.
|
9 years ago |
printer.mli
|
Clean up code to produce html pages of analysis results in debug mode.
|
9 years ago |
procAttributes.ml
|
Simplify code in SymExec: cleanup and look up cfg.
|
9 years ago |
procAttributes.mli
|
Simplify code in SymExec: cleanup and look up cfg.
|
9 years ago |
procname.ml
|
Revamped Timeout module to save and restore seconds and symops.
|
9 years ago |
procname.mli
|
Warn of unused values
|
9 years ago |
prop.ml
|
fixing tenv_lookup
|
9 years ago |
prop.mli
|
Introducing checker for observer of notification centers
|
9 years ago |
propgraph.ml
|
Warn on unused identifiers
|
9 years ago |
propgraph.mli
|
Revamped Timeout module to save and restore seconds and symops.
|
9 years ago |
propset.ml
|
Open Utils implicitly
|
9 years ago |
propset.mli
|
Open Utils implicitly
|
9 years ago |
prover.ml
|
fixing tenv_lookup
|
9 years ago |
prover.mli
|
Warn of unused open statements
|
9 years ago |
rearrange.ml
|
kill Tenum
|
9 years ago |
rearrange.mli
|
Stop reporting false alarms due to __nullable on Obj-C property getters and setters
|
9 years ago |
reporting.ml
|
Simplify the code to collect the list of @SuppressWarnings annotations
|
9 years ago |
reporting.mli
|
Framework to emit warning from frontend
|
9 years ago |
serialization.ml
|
Warn on unused identifiers
|
9 years ago |
serialization.mli
|
Open Utils implicitly
|
9 years ago |
sil.ml
|
adding "kind" for taint attribute
|
9 years ago |
sil.mli
|
adding "kind" for taint attribute
|
9 years ago |
specs.ml
|
Revamped Timeout module to save and restore seconds and symops.
|
9 years ago |
specs.mli
|
Revamped Timeout module to save and restore seconds and symops.
|
9 years ago |
state.ml
|
Warn on unused identifiers
|
9 years ago |
state.mli
|
Open Utils implicitly
|
9 years ago |
symExec.ml
|
Avoid loading the cfg explicitly to find a proc desc.
|
9 years ago |
symExec.mli
|
Simplify code in SymExec: cleanup and look up cfg.
|
9 years ago |
tabulation.ml
|
adding type-specific taint error messages
|
9 years ago |
tabulation.mli
|
Revamped Timeout module to save and restore seconds and symops.
|
9 years ago |
timeout.ml
|
Activate timeout logging in the progress bar when developer mode is on.
|
9 years ago |
timeout.mli
|
Bypass the interprocedural algorithm in Fork with ondemand, and replace it with a simple iteration.
|
9 years ago |
typename.ml
|
Open Utils implicitly
|
9 years ago |
typename.mli
|
Use Typename.t for the type of the supertypes in the defintion of classes.
|
9 years ago |
utils.ml
|
Simplify code in SymExec: cleanup and look up cfg.
|
9 years ago |
utils.mli
|
Simplify code in SymExec: cleanup and look up cfg.
|
9 years ago |
version.ml.in
|
Revamped Timeout module to save and restore seconds and symops.
|
9 years ago |
version.mli
|
add version.mli
|
9 years ago |