| .. |
|
sql_examples
|
Complete copyright messages.
|
10 years ago |
|
annotations.ml
|
Report error message with call stacks for @PerformanceCritical checker
|
10 years ago |
|
annotations.mli
|
getting started on a Nullable annotation checker for obj-c
|
10 years ago |
|
callbackChecker.ml
|
put Util.list_* functions into an IList module
|
10 years ago |
|
callbackChecker.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
checkDeadCode.ml
|
put Util.list_* functions into an IList module
|
10 years ago |
|
checkDeadCode.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
checkers.ml
|
Initial version of the @Expensive checker
|
10 years ago |
|
checkers.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
10 years ago |
|
codeQuery.ml
|
compile with -safe-string
|
9 years ago |
|
codeQuery.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
codeQueryAst.ml
|
[whitespace] ocp-indent the code
|
10 years ago |
|
codequeryLexer.mll
|
[whitespace] ocp-indent the code
|
10 years ago |
|
codequeryParser.mly
|
Complete copyright messages.
|
10 years ago |
|
constantPropagation.ml
|
put Util.list_* functions into an IList module
|
10 years ago |
|
constantPropagation.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
dataflow.ml
|
put Util.list_* functions into an IList module
|
10 years ago |
|
dataflow.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
eradicate.ml
|
Separate payloads from different analyses in specs.
|
10 years ago |
|
eradicate.mli
|
Separate payloads from different analyses in specs.
|
10 years ago |
|
eradicateChecks.ml
|
Print origin information for procedured modelled internally.
|
10 years ago |
|
idenv.ml
|
[whitespace] indent .ml files as well
|
10 years ago |
|
idenv.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
immutableChecker.ml
|
put Util.list_* functions into an IList module
|
10 years ago |
|
immutableChecker.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
modelTables.ml
|
Print origin information for procedured modelled internally.
|
10 years ago |
|
modelTables.mli
|
Print origin information for procedured modelled internally.
|
10 years ago |
|
models.ml
|
compile with -safe-string
|
9 years ago |
|
patternMatch.ml
|
put Util.list_* functions into an IList module
|
10 years ago |
|
patternMatch.mli
|
[backend] Extend results directory with attributes for each procedure.
|
10 years ago |
|
performanceCritical.ml
|
Model `android.view.View.findViewById` as an expensive method
|
10 years ago |
|
performanceCritical.mli
|
Initial version of the @Expensive checker
|
10 years ago |
|
printfArgs.ml
|
Moving printf args checker into Infer
|
10 years ago |
|
printfArgs.mli
|
Moving printf args checker into Infer
|
10 years ago |
|
registerCheckers.ml
|
Run the @PerformanceCritical checker by default with the other checkers
|
9 years ago |
|
repeatedCallsChecker.ml
|
Separate payloads from different analyses in specs.
|
10 years ago |
|
repeatedCallsChecker.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
sqlChecker.ml
|
put Util.list_* functions into an IList module
|
10 years ago |
|
sqlChecker.mli
|
[whitespace] ocp-indent the code
|
10 years ago |
|
typeAnnotation.ml
|
Print origin information for procedured modelled internally.
|
10 years ago |
|
typeAnnotation.mli
|
[Eradicate] Add support for modeling boolean functions that check if the argument is null.
|
10 years ago |
|
typeCheck.ml
|
Print origin information for procedured modelled internally.
|
10 years ago |
|
typeCheck.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
10 years ago |
|
typeErr.ml
|
[Eradicate] Allow assigning null to fields marked @InjectView to support ButterKnife.
|
10 years ago |
|
typeErr.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
10 years ago |
|
typeOrigin.ml
|
Print origin information for procedured modelled internally.
|
10 years ago |
|
typeOrigin.mli
|
Print origin information for procedured modelled internally.
|
10 years ago |
|
typeState.ml
|
put Util.list_* functions into an IList module
|
10 years ago |
|
typeState.mli
|
[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.
|
10 years ago |
jrm