* Initial commit of cwe_checker emulation feature using bap primus under the hood. * Fixed some Core issues with Maps and Hashtbls * Moved plugins to their own folders as expected by BAP. * Added .merlin since everybody likes merlin * Further improvements in the build process * Commented cwe_checker_emulation plugin * cwe_checker_emulation detects double frees with the help of Primus. * Refactoring of cwe_checker_emulation, extracted incident reporting to module Incident_reporter. * Added test cases for cwe125, cwe416, and modified cwe415. * Now reporting use-after-free correctly * Adjusted README * Adjusted CHANGES.md. * Added spaces to content codacy. * Adjusted build process for emulation plugin * fixed emulation recipe * Reports out-out-bounds read/writes, events are not reported multiple times now. * Adds tests for cwe-415 and cwe-416. Arritifical examples for cwe-125 and cwe-787 * Travis aware emulation tests. * Fixed acceptance tests.
Name |
Last commit
|
Last update |
---|---|---|
cwe_checker_to_ida | Loading commit data... | |
doc/images | Loading commit data... | |
plugins | Loading commit data... | |
recipes | Loading commit data... | |
src | Loading commit data... | |
test | Loading commit data... | |
.gitignore | Loading commit data... | |
.merlin | Loading commit data... | |
.pre-commit-config.yaml | Loading commit data... | |
.travis.yml | Loading commit data... | |
.travis_prepare.sh | Loading commit data... | |
.travis_run_tests.sh | Loading commit data... | |
CHANGES.md | Loading commit data... | |
Dockerfile | Loading commit data... | |
LICENSE | Loading commit data... | |
Makefile | Loading commit data... | |
README.md | Loading commit data... | |
dune-project | Loading commit data... | |
install.sh | Loading commit data... |