| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| analysis | ||
| checkers | ||
| testfiles | ||
| utils | ||
| Makefile | ||
| compile_testfile.sh | ||
| dune | ||
| specify_test_files_for_compilation.sh | ||
| unit_tests_cwe_checker.ml |
Added a simple check that prints an error message when no dynamic symbol calls could be resolved.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| analysis | Loading commit data... | |
| checkers | Loading commit data... | |
| testfiles | Loading commit data... | |
| utils | Loading commit data... | |
| Makefile | Loading commit data... | |
| compile_testfile.sh | Loading commit data... | |
| dune | Loading commit data... | |
| specify_test_files_for_compilation.sh | Loading commit data... | |
| unit_tests_cwe_checker.ml | Loading commit data... |