* 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 |
---|---|---|
.. | ||
SConstruct | Loading commit data... | |
arrays.c | Loading commit data... | |
c_constructs.c | Loading commit data... | |
cwe_125.c | Loading commit data... | |
cwe_190.c | Loading commit data... | |
cwe_191.c | Loading commit data... | |
cwe_243.c | Loading commit data... | |
cwe_243_clean.c | Loading commit data... | |
cwe_248.cpp | Loading commit data... | |
cwe_332.c | Loading commit data... | |
cwe_367.c | Loading commit data... | |
cwe_415.c | Loading commit data... | |
cwe_416.c | Loading commit data... | |
cwe_426.c | Loading commit data... | |
cwe_457.c | Loading commit data... | |
cwe_467.c | Loading commit data... | |
cwe_476.c | Loading commit data... | |
cwe_478.c | Loading commit data... | |
cwe_676.c | Loading commit data... | |
cwe_782.c | Loading commit data... | |
cwe_787.c | Loading commit data... | |
install_cross_compilers.sh | Loading commit data... | |
memory_access.c | Loading commit data... |