| .. |
|
sql_examples
|
Fix indentation of multiline copyright comment
|
9 years ago |
|
AbstractDomain.mli
|
[thread-safety] use boolean domain to track locks
|
8 years ago |
|
AbstractInterpreter.mli
|
[checkers] clean up abstract interpreter
|
8 years ago |
|
BoundedCallTree.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
IdAccessPathMapDomain.ml
|
ppx_compare AccessPath
|
8 years ago |
|
Passthrough.ml
|
ppx_compare Passthrough
|
8 years ago |
|
Passthrough.mli
|
ppx_compare Passthrough
|
8 years ago |
|
README.md
|
Created IR folder for the intermediate representaion files.
|
9 years ago |
|
SimpleChecker.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
SimpleChecker.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
Sink.ml
|
[traces] Move all trace-related files to checkers
|
8 years ago |
|
Sink.mli
|
[traces] Move all trace-related files to checkers
|
8 years ago |
|
SinkTrace.ml
|
[siof] better error reports using `Errlog.loc_trace`s
|
8 years ago |
|
SinkTrace.mli
|
[siof] better error reports using `Errlog.loc_trace`s
|
8 years ago |
|
Siof.ml
|
ppx_compare DB
|
8 years ago |
|
Siof.mli
|
[siof] convert domain to sink trace of pvar's
|
8 years ago |
|
SiofDomain.ml
|
[siof] convert domain to sink trace of pvar's
|
8 years ago |
|
SiofTrace.ml
|
[siof] better error reports using `Errlog.loc_trace`s
|
8 years ago |
|
SiofTrace.mli
|
[siof] better error reports using `Errlog.loc_trace`s
|
8 years ago |
|
Source.ml
|
[quandary] filter the footprint sources in Trace.should_report
|
8 years ago |
|
Source.mli
|
[siof] add fancy interprocedural reporting
|
8 years ago |
|
Stacktrace.ml
|
[config] normalize all paths options
|
8 years ago |
|
Stacktrace.mli
|
[refactor] Remove unused prop reporting, and refactor
|
8 years ago |
|
ThreadSafety.ml
|
[thread-safety] use boolean domain to track locks
|
8 years ago |
|
ThreadSafetyDomain.ml
|
ppx_compare AccessPath
|
8 years ago |
|
Trace.ml
|
[quandary] switch to --issues-tests printing
|
8 years ago |
|
Trace.mli
|
[siof] better error reports using `Errlog.loc_trace`s
|
8 years ago |
|
TraceElem.ml
|
ppx_compare TraceElem
|
8 years ago |
|
abstractDomain.ml
|
[thread-safety] use boolean domain to track locks
|
8 years ago |
|
abstractInterpreter.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
accessPath.ml
|
ppx_compare AccessPath
|
8 years ago |
|
accessPath.mli
|
ppx_compare AccessPath
|
8 years ago |
|
accessPathDomains.ml
|
killing is_bottom
|
8 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
|
[refactoring] add make_trace_element to Errlog
|
8 years ago |
|
annotations.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
annotations.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
checkDeadCode.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
checkDeadCode.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
checkTraceCallSequence.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
checkTraceCallSequence.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
checkers.ml
|
[refactoring] add make_trace_element to Errlog
|
8 years ago |
|
checkers.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
constantPropagation.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
constantPropagation.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
copyPropagation.ml
|
[IR] Simplify to single return id, with type
|
8 years ago |
|
dataflow.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
dataflow.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
fragmentRetainsViewChecker.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
idenv.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
idenv.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
immutableChecker.ml
|
Pass tenv to everywhere that matches on Tstruct
|
8 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
|
ppx_compare Ident
|
8 years ago |
|
patternMatch.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
printfArgs.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
printfArgs.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
procCfg.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
procCfg.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
procData.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
procData.mli
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
registerCheckers.ml
|
[threadsafety] run thread safety checker on its own
|
8 years ago |
|
registerCheckers.mli
|
disable dead code checker on clang
|
9 years ago |
|
repeatedCallsChecker.ml
|
ppx_compare Sil
|
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 |
|
sqlChecker.ml
|
[IR] Move Procdesc module to a separate file.
|
8 years ago |
|
sqlChecker.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
stacktree.atd
|
Make stacktrace and stacktree line number an int option.
|
8 years ago |
|
summary.ml
|
[IR] Move Procdesc module to a separate file.
|
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
|
ppx_compare Var
|
8 years ago |
|
var.mli
|
ppx_compare Var
|
8 years ago |
Josh Berdine