* 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... |