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.

jrm f5ddb983fe Initial version of the @Expensive checker ... Summary: public This is an initial version of the Expensive checker which only report violations on direct calls. The main objective is to setup all the files for this new checker. The next steps are: 1) run the checker in interprocedural mode 2) Save in the summary of a method foo() the annotation attribute Expensive if a direct callee of foo is annotated with Expensive 3) Check that Expensive is enforced by subtyping, i.e. check that non-expensive method cannot be overwritten by a method annotated with Expensive Reviewed By: cristianoc Differential Revision: D2629947 fb-gh-sync-id: 0e06f85		9 years ago
..
sql_examples	Complete copyright messages.	10 years ago
annotations.ml	Initial version of the @Expensive checker	9 years ago
annotations.mli	Initial version of the @Expensive checker	9 years ago
callbackChecker.ml	put Util.list_* functions into an IList module	9 years ago
callbackChecker.mli	[whitespace] ocp-indent the code	10 years ago
checkDeadCode.ml	put Util.list_* functions into an IList module	9 years ago
checkDeadCode.mli	[whitespace] ocp-indent the code	10 years ago
checkers.ml	Initial version of the @Expensive checker	9 years ago
checkers.mli	[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.	10 years ago
codeQuery.ml	put Util.list_* functions into an IList module	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	9 years ago
constantPropagation.mli	[whitespace] ocp-indent the code	10 years ago
dataflow.ml	put Util.list_* functions into an IList module	9 years ago
dataflow.mli	[whitespace] ocp-indent the code	10 years ago
eradicate.ml	put Util.list_* functions into an IList module	9 years ago
eradicate.mli	[whitespace] ocp-indent the code	10 years ago
eradicateChecks.ml	Print origin information for procedured modelled internally.	9 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	9 years ago
immutableChecker.mli	[whitespace] ocp-indent the code	10 years ago
modelTables.ml	Print origin information for procedured modelled internally.	9 years ago
modelTables.mli	Print origin information for procedured modelled internally.	9 years ago
models.ml	put Util.list_* functions into an IList module	9 years ago
patternMatch.ml	put Util.list_* functions into an IList module	9 years ago
patternMatch.mli	[backend] Extend results directory with attributes for each procedure.	10 years ago
performanceCritical.ml	Initial version of the @Expensive checker	9 years ago
performanceCritical.mli	Initial version of the @Expensive checker	9 years ago
printfArgs.ml	Moving printf args checker into Infer	9 years ago
printfArgs.mli	Moving printf args checker into Infer	9 years ago
registerCheckers.ml	Initial version of the @Expensive checker	9 years ago
repeatedCallsChecker.ml	put Util.list_* functions into an IList module	9 years ago
repeatedCallsChecker.mli	[whitespace] ocp-indent the code	10 years ago
sqlChecker.ml	put Util.list_* functions into an IList module	9 years ago
sqlChecker.mli	[whitespace] ocp-indent the code	10 years ago
typeAnnotation.ml	Print origin information for procedured modelled internally.	9 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.	9 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.	9 years ago
typeOrigin.mli	Print origin information for procedured modelled internally.	9 years ago
typeState.ml	put Util.list_* functions into an IList module	9 years ago
typeState.mli	[backend][cleanup] move fields in common to Cfg.Procdes and Specs.summary to proc_attributes.	10 years ago