| .. |
|
sql_examples
|
Fix indentation of multiline copyright comment
|
9 years ago |
|
AbstractInterpreter.mli
|
[checkers] clean up abstract interpreter
|
8 years ago |
|
BoundedCallTree.ml
|
[clang] do not depend on Config.clang_lang and Config.source_file
|
8 years ago |
|
IdAccessPathMapDomain.ml
|
[checkers] don't crash when a frontend temp is reassigned
|
8 years ago |
|
README.md
|
Created IR folder for the intermediate representaion files.
|
9 years ago |
|
SimpleChecker.ml
|
[checkers] make SimpleCheckers compile
|
8 years ago |
|
SimpleChecker.mli
|
[checkers] make SimpleCheckers compile
|
8 years ago |
|
Stacktrace.ml
|
[refactor] Remove unused prop reporting, and refactor
|
8 years ago |
|
Stacktrace.mli
|
[refactor] Remove unused prop reporting, and refactor
|
8 years ago |
|
ThreadSafety.ml
|
[threadsafety] Consider certain init() methods as constructors
|
8 years ago |
|
abstractDomain.ml
|
killing is_bottom
|
9 years ago |
|
abstractInterpreter.ml
|
[checkers] clean up abstract interpreter
|
8 years ago |
|
accessPath.ml
|
[quandary] reporting on array passed to sink when contents of array are tainted
|
8 years ago |
|
accessPath.mli
|
Writing errors for Threadsafe checker
|
8 years ago |
|
accessPathDomains.ml
|
killing is_bottom
|
9 years ago |
|
accessPathDomains.mli
|
add abstraction of access path, use in access path set domain
|
9 years ago |
|
accessTree.ml
|
[quandary] switch to using base -> formal num map in extras
|
8 years ago |
|
addressTaken.ml
|
[siof] check origin of globals and complain if potential siof
|
8 years ago |
|
annotationReachability.ml
|
[refactor] moving check_attributes to patternMatch.ml
|
8 years ago |
|
annotations.ml
|
Writing errors for Threadsafe checker
|
8 years ago |
|
annotations.mli
|
thread safety checker alpha0
|
8 years ago |
|
checkDeadCode.ml
|
Pass tenv to everywhere that matches on Tstruct
|
9 years ago |
|
checkDeadCode.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
checkTraceCallSequence.ml
|
Pass tenv to everywhere that matches on Tstruct
|
9 years ago |
|
checkTraceCallSequence.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
checkers.ml
|
[IR] Simplify to single return id, with type
|
8 years ago |
|
checkers.mli
|
Pass tenv to everywhere that matches on Tstruct
|
9 years ago |
|
constantPropagation.ml
|
[IR] Simplify to single return id, with type
|
8 years ago |
|
constantPropagation.mli
|
Refactor Sil.exp to Exp.t
|
9 years ago |
|
copyPropagation.ml
|
[IR] Simplify to single return id, with type
|
8 years ago |
|
dataflow.ml
|
Cleanup instruction names: use Load/Store instead of Letderef/Set.
|
9 years ago |
|
dataflow.mli
|
Enable warning: Unexpected documentation comment
|
9 years ago |
|
fragmentRetainsViewChecker.ml
|
[IR] Remove redundant struct_typ.name field
|
8 years ago |
|
idenv.ml
|
Cleanup instruction names: use Load/Store instead of Letderef/Set.
|
9 years ago |
|
idenv.mli
|
Refactor Sil.exp to Exp.t
|
9 years ago |
|
immutableChecker.ml
|
Pass tenv to everywhere that matches on Tstruct
|
9 years ago |
|
immutableChecker.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
liveness.ml
|
[IR] Simplify to single return id, with type
|
8 years ago |
|
patternMatch.ml
|
[refactor] moving check_attributes to patternMatch.ml
|
8 years ago |
|
patternMatch.mli
|
[refactor] moving check_attributes to patternMatch.ml
|
8 years ago |
|
printfArgs.ml
|
[IR] Do not use JBasics.java_lang_object in IR/backend
|
8 years ago |
|
printfArgs.mli
|
Pass tenv to everywhere that matches on Tstruct
|
9 years ago |
|
procCfg.ml
|
setup for creating very simple absint checkers
|
9 years ago |
|
procCfg.mli
|
setup for creating very simple absint checkers
|
9 years ago |
|
procData.ml
|
allowing extra data to be packaged along with procCfg
|
9 years ago |
|
procData.mli
|
allowing extra data to be packaged along with procCfg
|
9 years ago |
|
registerCheckers.ml
|
[siof] check origin of globals and complain if potential siof
|
8 years ago |
|
registerCheckers.mli
|
disable dead code checker on clang
|
9 years ago |
|
repeatedCallsChecker.ml
|
[config] Eliminate ad hoc environment variables
|
8 years ago |
|
repeatedCallsChecker.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
scheduler.ml
|
redesigning abstract interpreter to allow easy composition of analyses
|
9 years ago |
|
siof.ml
|
[siof] check origin of globals and complain if potential siof
|
8 years ago |
|
siof.mli
|
[siof] check origin of globals and complain if potential siof
|
8 years ago |
|
sqlChecker.ml
|
Refactor Sil.exp to Exp.t
|
9 years ago |
|
sqlChecker.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
stacktree.atd
|
Make stacktrace and stacktree line number an int option.
|
9 years ago |
|
summary.ml
|
[checkers] update timestamp when storing checkers summary
|
8 years ago |
|
transferFunctions.ml
|
redesigning abstract interpreter to allow easy composition of analyses
|
9 years ago |
|
transferFunctions.mli
|
redesigning abstract interpreter to allow easy composition of analyses
|
9 years ago |
|
var.ml
|
Refactor Sil.exp to Exp.t
|
9 years ago |
|
var.mli
|
Refactor Sil.exp to Exp.t
|
9 years ago |
Josh Berdine