| .. |
|
.project
|
initial synchronization
|
10 years ago |
|
CRC.ml
|
[whitespace] ocp-indent the code
|
10 years ago |
|
CRC.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
DB.ml
|
[backend] fix verbose logging "The project root ... is not a prefix of ..."
|
9 years ago |
|
DB.mli
|
[infer] Change the error message when the project root is not a prefix of the absolute path of the source files
|
9 years ago |
|
PROFILE_HOWTO
|
initial synchronization
|
10 years ago |
|
abs.ml
|
[Infer][backend] Refactoring: adding attr_is_undef method
|
9 years ago |
|
abs.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
absarray.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
absarray.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
autounit.ml
|
[Infer] Adding warning to eliminate needless rec keywords, fixing all warnings.
|
9 years ago |
|
autounit.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
buckets.ml
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
buckets.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
callbacks.ml
|
[backend] Reorganize the resolution of procedure attributes, fixing a bug where annotations of overridden procedures via spec files were not found.
|
9 years ago |
|
callbacks.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
cfg.ml
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
cfg.mli
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
cg.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
cg.mli
|
[Infer][incremental] Preventing --changed-only incremental mode from corrupting the future
|
9 years ago |
|
config.ml
|
[backend] remove support for internal parallelism and simplify the interprocedural algorithm
|
9 years ago |
|
dom.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
dom.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
dotty.ml
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
dotty.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
errdesc.ml
|
[Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison
|
9 years ago |
|
errdesc.mli
|
[Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison
|
9 years ago |
|
errlog.ml
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
errlog.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
exceptions.ml
|
[Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison
|
9 years ago |
|
exceptions.mli
|
[Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison
|
9 years ago |
|
exe_env.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
exe_env.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
fork.ml
|
[backend] remove support for internal parallelism and simplify the interprocedural algorithm
|
9 years ago |
|
fork.mli
|
[backend] remove support for internal parallelism and simplify the interprocedural algorithm
|
9 years ago |
|
ident.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
ident.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
inferanalyze.ml
|
[clang] Fixing eradicate tests
|
9 years ago |
|
inferconfig.ml
|
[Infer][filtering] Always using local_config to build procedure filter
|
9 years ago |
|
inferconfig.mli
|
[Infer][filtering] Adding support for filtering by procname using .inferconfig
|
9 years ago |
|
inferprint.ml
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
interproc.ml
|
[backend] remove support for internal parallelism and simplify the interprocedural algorithm
|
9 years ago |
|
interproc.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
io_infer.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
io_infer.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
jsonbug.atd
|
initial synchronization
|
10 years ago |
|
latex.ml
|
[whitespace] ocp-indent the code
|
10 years ago |
|
latex.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
localise.ml
|
[Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison
|
9 years ago |
|
localise.mli
|
[Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison
|
9 years ago |
|
location.ml
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
location.mli
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
logging.ml
|
[backend] remove support for internal parallelism and simplify the interprocedural algorithm
|
9 years ago |
|
logging.mli
|
[backend] remove support for internal parallelism and simplify the interprocedural algorithm
|
9 years ago |
|
mangled.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
mangled.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
match.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
match.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
mleak_buckets.ml
|
[whitespace] ocp-indent the code
|
10 years ago |
|
mleak_buckets.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
objc_models.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
objc_models.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
objc_preanal.ml
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
objc_preanal.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
ondemand.ml
|
[eradicate][ondemand] Skeleton of on-demand analysis for Eradicate.
|
9 years ago |
|
ondemand.mli
|
[eradicate][ondemand] Skeleton of on-demand analysis for Eradicate.
|
9 years ago |
|
paths.ml
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
paths.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
preanal.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
preanal.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
printer.ml
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
printer.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
procAttributes.ml
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
procAttributes.mli
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
procname.ml
|
[Eradicate] Allow assigning null to fields marked @InjectView to support ButterKnife.
|
9 years ago |
|
procname.mli
|
[clang] Add is_instance as part of the type of objc methods
|
9 years ago |
|
prop.ml
|
[Eradicate] Allow assigning null to fields marked @InjectView to support ButterKnife.
|
9 years ago |
|
prop.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
propgraph.ml
|
[infer][backend] refactoring code for getting reachable hpred's/pure atoms from a prop
|
10 years ago |
|
propgraph.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
propset.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
propset.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
prover.ml
|
Revert "Revert "[clang] Removing the case of flagging npes in initialisers. This causes many FPs.""
|
9 years ago |
|
prover.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
rearrange.ml
|
[backend] Reorganize the resolution of procedure attributes, fixing a bug where annotations of overridden procedures via spec files were not found.
|
9 years ago |
|
rearrange.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
reporting.ml
|
[backend][cleanup] Move proc_attributes to a separate module.
|
9 years ago |
|
reporting.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
serialization.ml
|
[eradicate][ondemand] Skeleton of on-demand analysis for Eradicate.
|
9 years ago |
|
serialization.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
sil.ml
|
[Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison
|
9 years ago |
|
sil.mli
|
[Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison
|
9 years ago |
|
specs.ml
|
[eradicate][ondemand] Skeleton of on-demand analysis for Eradicate.
|
9 years ago |
|
specs.mli
|
[backend] Reorganize the resolution of procedure attributes, fixing a bug where annotations of overridden procedures via spec files were not found.
|
9 years ago |
|
state.ml
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
state.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
symExec.ml
|
[Infer][ios] Reporting error when NSNumber * is coerced to boolean in a comparison
|
9 years ago |
|
symExec.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
tabulation.ml
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
tabulation.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
type_prop.ml
|
[Infer] Adding warning to eliminate needless rec keywords, fixing all warnings.
|
9 years ago |
|
type_prop.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
utils.ml
|
[backend] remove support for internal parallelism and simplify the interprocedural algorithm
|
9 years ago |
|
utils.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
9 years ago |
|
version.ml.in
|
[whitespace] ocp-indent the code
|
10 years ago |
Cristiano Calcagno
0f8c3e7974