bap-primus-test

BAP Primus Testing and Program Verification module
Description

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.

Install
Documentation github.com Edit opam file
Published
02 Jun 2020
Authors
Maintainers
Sources
v2.1.0.tar.gz
md5=3db9deac8d429b9b8a8ec9aec54987b1
Dependencies
bap-primus = "2.1.0"
bap-std = "2.1.0"
ocaml >= "4.07.0" & < "4.10.0"
Reverse Dependencies
bap = "2.1.0"