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.
Sam Blackshear 2d29b47855
[traces] allow reported traces to return an issue type
7 years ago
..
ClangTaintAnalysis.ml [ocamlformat] Use ocamlformat from github 7 years ago
ClangTaintAnalysis.mli [police] open IStd everywhere 8 years ago
ClangTrace.ml [traces] allow reported traces to return an issue type 7 years ago
ClangTrace.mli [quandary] skeleton for ObjC traces 8 years ago
JavaTaintAnalysis.ml [ocamlformat] Use ocamlformat from github 7 years ago
JavaTaintAnalysis.mli [police] open IStd everywhere 8 years ago
JavaTrace.ml [traces] allow reported traces to return an issue type 7 years ago
JavaTrace.mli Open Core.Std by default, still use Caml Hashtbl, Map, Set 8 years ago
QuandaryConfig.ml [ocamlformat] Use ocamlformat from github 7 years ago
QuandaryConfig.mli Convert Reason to OCaml, and auto-format OCaml 8 years ago
QuandarySummary.ml [ocamlformat] Use ocamlformat from github 7 years ago
QuandarySummary.mli [access trie] make max depth configurable 7 years ago
TaintAnalysis.ml [traces] allow reported traces to return an issue type 7 years ago
TaintSpec.ml [access trie] make max depth configurable 7 years ago