src/analysis · b73c61c1e4c0d9cabcd3e84c251391753553e649 · fact-depend / cwe_checker · GitLab

History Find file

Dyn sym refactor (#71) · 5f9d78fb

Added a simple check that prints an error message when no dynamic symbol calls could be resolved.

authored 4 years ago

Name	Last commit	Last update
..
check_path.ml	Check path (#31)	5 years ago
check_path.mli	Check path (#31)	5 years ago
mem_region.ml	Cwe476 (#47)	5 years ago
mem_region.mli	Cwe476 (#47)	5 years ago
pointer_inference.ml	Rust interface (#70)	4 years ago
pointer_inference.mli	Rust interface (#70)	4 years ago
type_inference.ml	Dyn sym refactor (#71)	4 years ago
type_inference.mli	Cwe476 (#47)	5 years ago