* 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_190.ml | Loading commit data... | |
cwe_190.mli | Loading commit data... | |
cwe_215.ml | Loading commit data... | |
cwe_215.mli | Loading commit data... | |
cwe_243.ml | Loading commit data... | |
cwe_243.mli | Loading commit data... | |
cwe_248.ml | Loading commit data... | |
cwe_248.mli | Loading commit data... | |
cwe_332.ml | Loading commit data... | |
cwe_332.mli | Loading commit data... | |
cwe_367.ml | Loading commit data... | |
cwe_367.mli | Loading commit data... | |
cwe_426.ml | Loading commit data... | |
cwe_426.mli | Loading commit data... | |
cwe_457.ml | Loading commit data... | |
cwe_457.mli | Loading commit data... | |
cwe_467.ml | Loading commit data... | |
cwe_467.mli | Loading commit data... | |
cwe_476.ml | Loading commit data... | |
cwe_476.mli | Loading commit data... | |
cwe_676.ml | Loading commit data... | |
cwe_676.mli | Loading commit data... | |
cwe_782.ml | Loading commit data... | |
cwe_782.mli | Loading commit data... |