bap-primus-testversion
BAP Primus Testing and Program Verification module
With Primus Test Framework program analysis could be implemented as a set of simple tests written in Primus Lisp language. The framework provides an unified incident reporting facility for generalized problem reporting. The framework comes with a couple of analysis on board as a showcase.
Memcheck - a memory checker that detects vioalations of memory management discipline, such as use-after-free, double free, and corrupted free.
Check Returned Value - verifies that a program is addressing all possible outcomes of certain API calls, e.g., checks return values, error codes, etc.
Author | BAP Team |
---|---|
License | MIT |
Published | |
Homepage | https://github.com/BinaryAnalysisPlatform/bap/ |
Issue Tracker | https://github.com/BinaryAnalysisPlatform/bap/issues |
Maintainer | Ivan Gotovchits <ivg@ieee.org> |
Dependencies |
|
Source [http] | https://github.com/BinaryAnalysisPlatform/bap/archive/v2.1.0.tar.gz sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de md5=3db9deac8d429b9b8a8ec9aec54987b1 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-primus-test/bap-primus-test.2.1.0/opam |
Required by
- bap=2.1.0