| .. |
|
Checkers.mld
|
documentation for new libraries
|
5 years ago |
|
ConfigChecksBetweenMarkers.ml
|
[CCBM] Support marker value as object field in Java
|
5 years ago |
|
ConfigChecksBetweenMarkers.mli
|
[CCBM] Add a new checker config-checks-beween-markers (1/3)
|
5 years ago |
|
LithoDomain.ml
|
[litho] Add support for Sections
|
5 years ago |
|
LithoDomain.mli
|
[litho] Add support for Sections
|
5 years ago |
|
NullabilityPreanalysis.ml
|
[ocamlformat] Set break-sequences = true
|
5 years ago |
|
NullabilityPreanalysis.mli
|
[copyright] Remove years
|
6 years ago |
|
RequiredProps.ml
|
[litho] Tweak the error message
|
5 years ago |
|
RequiredProps.mli
|
make RequiredProps an `interprocedural`
|
5 years ago |
|
SelfInBlock.ml
|
remove dynamic severity: Reporting.log_{error,warning} -> log_issue
|
5 years ago |
|
SelfInBlock.mli
|
make SelfInBlock an `intraprocedural`
|
5 years ago |
|
SimpleChecker.ml
|
checkers/dune
|
5 years ago |
|
SimpleChecker.mli
|
checkers/dune
|
5 years ago |
|
Siof.ml
|
remove dynamic severity: Reporting.log_{error,warning} -> log_issue
|
5 years ago |
|
Siof.mli
|
make Siof take an Interprocedural.t
|
5 years ago |
|
SiofDomain.ml
|
[copyright] Remove years
|
6 years ago |
|
SiofDomain.mli
|
[copyright] Remove years
|
6 years ago |
|
SiofTrace.ml
|
[infer] Remove ppx_compare workaround for nonrec types
|
5 years ago |
|
SiofTrace.mli
|
[copyright] Remove years
|
6 years ago |
|
addressTaken.ml
|
checkers/dune
|
5 years ago |
|
annotationReachability.ml
|
[website] add remaining issue types
|
5 years ago |
|
annotationReachability.mli
|
make annot reach an `interprocedural`
|
5 years ago |
|
annotationReachabilityDomain.ml
|
[typ] extract Procname from Typ
|
5 years ago |
|
annotationReachabilityDomain.mli
|
[typ] extract Procname from Typ
|
5 years ago |
|
control.ml
|
[control] Fix dangling node
|
5 years ago |
|
control.mli
|
[control] Fix dangling node
|
5 years ago |
|
dominators.ml
|
[ocamlformat] Set break-sequences = true
|
5 years ago |
|
dune
|
documentation for new libraries
|
5 years ago |
|
fragmentRetainsViewChecker.ml
|
remove dynamic severity: Reporting.log_{error,warning} -> log_issue
|
5 years ago |
|
fragmentRetainsViewChecker.mli
|
make FragmentRetainsView an `intraprocedural`
|
5 years ago |
|
functionPointers.ml
|
checkers/dune
|
5 years ago |
|
impurity.ml
|
[pulse] change recency maps to be backed by lists
|
5 years ago |
|
impurity.mli
|
make impurity an `intraprocedural_with_field_dependency`
|
5 years ago |
|
impurityDomain.ml
|
[pulse] move SkippedCalls to its own file
|
5 years ago |
|
impurityDomain.mli
|
[pulse] move SkippedCalls to its own file
|
5 years ago |
|
inefficientKeysetIterator.ml
|
remove dynamic severity: Reporting.log_{error,warning} -> log_issue
|
5 years ago |
|
inefficientKeysetIterator.mli
|
make InefficientKeysetIterator an `intraprocedural`
|
5 years ago |
|
liveness.ml
|
remove dynamic severity: Reporting.log_{error,warning} -> log_issue
|
5 years ago |
|
liveness.mli
|
make liveness an `intraprocedural`
|
5 years ago |
|
loopInvariant.ml
|
[ocamlformat] Reformat repo with new version
|
5 years ago |
|
loopInvariant.mli
|
[ocamlformat] Reformat repo with new version
|
5 years ago |
|
loop_control.ml
|
[control] Fix dangling node
|
5 years ago |
|
loop_control.mli
|
[ocamlformat] Enable parsing and reformatting docstrings
|
5 years ago |
|
printfArgs.ml
|
remove dynamic severity: Reporting.log_{error,warning} -> log_issue
|
5 years ago |
|
printfArgs.mli
|
make printfArgs an `intraprocedural`
|
5 years ago |
|
purity.ml
|
remove dynamic severity: Reporting.log_{error,warning} -> log_issue
|
5 years ago |
|
purity.mli
|
making inferbo and its many friends an Interprocedural.t
|
5 years ago |
|
purityDomain.ml
|
[copyright] Remove years
|
6 years ago |
|
purityModels.ml
|
[frontned][clang] Fix the translation of CXXStdInitializerListExpr
|
5 years ago |
|
reachingDefs.ml
|
[ocamlformat] Reformat repo with new version
|
5 years ago |
|
reachingDefs.mli
|
[ocamlformat] Reformat repo with new version
|
5 years ago |
|
uninit.ml
|
remove dynamic severity: Reporting.log_{error,warning} -> log_issue
|
5 years ago |
|
uninit.mli
|
make uninit an `interprocedural`
|
5 years ago |
|
uninitDomain.ml
|
[uninit] Use type information from locals if argument is a pointer in function signature
|
5 years ago |
Sungkeun Cho