src/analysis · 55a7097c06086f2e709e1172a23e9a3045e214d8 · fact-depend / cwe_checker · GitLab

History Find file

Check path (#31) · 75d6c2b3

adds check_path flag to cwe_checker for finding paths from user input functions to CWE hits.

authored Sep 11, 2019

Name	Last commit	Last update
..
check_path.ml		Loading commit data...
check_path.mli		Loading commit data...
mem_region.ml		Loading commit data...
mem_region.mli		Loading commit data...
type_inference.ml		Loading commit data...
type_inference.mli		Loading commit data...