test/unit/analysis · a6e5fa65a87dfa773ca62553fa58ddb1d39fa3f9 · fact-depend / cwe_checker

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
..
mem_region_test.ml	Cwe476 (#47)	5 years ago
mem_region_test.mli	Corrected dune linter warnings, linter warnings are now handled like errors. (#20)	5 years ago
type_inference_test.ml	Dyn sym refactor (#71)	4 years ago
type_inference_test.mli	Type inference (#14)	6 years ago