pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'b3baf72df8'
${ noResults }
infer_clone/infer/src/checkers
History
Sam Blackshear e96b94204c
widen at pre instead of at post 		9 years ago
..
sql_examples Fix indentation of multiline copyright comment 9 years ago
README.md Created IR folder for the intermediate representaion files. 9 years ago
abstractDomain.ml Remove -open(Utils) compile flag hack 9 years ago
abstractInterpreter.ml widen at pre instead of at post 9 years ago
addressTaken.ml exceptional procCfg 9 years ago
annotationReachability.ml checking supertypes for annotations 9 years ago
annotations.ml supporting new @PrivacySource/PrivacySink annotations 9 years ago
annotations.mli supporting new @PrivacySource/PrivacySink annotations 9 years ago
checkDeadCode.ml opacify the type of node ids 9 years ago
checkDeadCode.mli Remove -open(Utils) compile flag hack 9 years ago
checkTraceCallSequence.ml opacify the type of node ids 9 years ago
checkTraceCallSequence.mli Remove -open(Utils) compile flag hack 9 years ago
checkers.ml big refactoring to improve API for subtyping related operations 9 years ago
checkers.mli Remove -open(Utils) compile flag hack 9 years ago
codeQuery.ml Remove -open(Utils) compile flag hack 9 years ago
codeQuery.mli Remove -open(Utils) compile flag hack 9 years ago
codeQueryAst.ml Remove -open(Utils) compile flag hack 9 years ago
codequeryLexer.mll Fix indentation of multiline copyright comment 9 years ago
codequeryParser.mly Fix indentation of multiline copyright comment 9 years ago
constantPropagation.ml opacify the type of node ids 9 years ago
constantPropagation.mli Remove -open(Utils) compile flag hack 9 years ago
copyPropagation.ml exceptional procCfg 9 years ago
dataflow.ml Remove -open(Utils) compile flag hack 9 years ago
dataflow.mli Remove -open(Utils) compile flag hack 9 years ago
fragmentRetainsViewChecker.ml big refactoring to improve API for subtyping related operations 9 years ago
idenv.ml Remove -open(Utils) compile flag hack 9 years ago
idenv.mli Remove -open(Utils) compile flag hack 9 years ago
immutableChecker.ml Remove -open(Utils) compile flag hack 9 years ago
immutableChecker.mli Remove -open(Utils) compile flag hack 9 years ago
liveness.ml exceptional procCfg 9 years ago
patternMatch.ml remove recursive call in try/with 9 years ago
patternMatch.mli refactoring get_strict_supertyps to use iteration for more flexibility 9 years ago
printfArgs.ml Remove -open(Utils) compile flag hack 9 years ago
printfArgs.mli Remove -open(Utils) compile flag hack 9 years ago
procCfg.ml exceptional procCfg 9 years ago
procData.ml Remove -open(Utils) compile flag hack 9 years ago
registerCheckers.ml delete callbackChecker and deps 9 years ago
repeatedCallsChecker.ml Remove -open(Utils) compile flag hack 9 years ago
repeatedCallsChecker.mli Remove -open(Utils) compile flag hack 9 years ago
scheduler.ml dealing with exceptional control-flow in abstract interpreter 9 years ago
sqlChecker.ml Remove -open(Utils) compile flag hack 9 years ago
sqlChecker.mli Remove -open(Utils) compile flag hack 9 years ago
summary.ml Remove -open(Utils) compile flag hack 9 years ago
transferFunctions.ml Remove -open(Utils) compile flag hack 9 years ago
var.ml Remove -open(Utils) compile flag hack 9 years ago

README.md

Checkers

Checkers is an infrastructure to facitilate writing lightweight checks starting from the Intermediate Representation IR of a project.

Module Checkers contains a number of sample checkers.

Individual checkers can be activated using module RegisterCheckers.