plugins/cwe_checker_emulation/Makefile · 441362b50ce2d5fe1b4898c3736be3d3f35ba2cb · fact-depend / cwe_checker · GitLab

Blame History Permalink

cwe_checker_emulation plugin using BAP's Primus (#15) · 095130c0

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

authored 6 years ago

Makefile

251 Bytes

all:
	bapbuild -pkgs yojson,unix,ppx_jane,bap-primus,monads,graphlib,str,cwe_checker_core cwe_checker_emulation.plugin
	bapbundle install cwe_checker_emulation.plugin

clean:
	bapbuild -clean

uninstall:
	bapbundle remove cwe_checker_emulation.plugin