Opam Package bap-primus-test.2.2.0

Package info

opam-namebap-primus-test
opam-version2.2.0
synopsisBAP 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.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (3)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

bap-primus-test

Package files

share/primus/site-lisp/warn-unused.lisp
share/primus/site-lisp/memcheck.lisp
share/primus/site-lisp/memcheck-malloc.lisp
share/primus/site-lisp/incident.lisp
share/primus/site-lisp/check-value.lisp
lib/bap/primus_test.plugin
lib/bap-plugin-primus_test/primus_test_main.cmx
lib/bap-plugin-primus_test/primus_test_library_plugin.cmxs
lib/bap-plugin-primus_test/primus_test_library_plugin.cmxa
lib/bap-plugin-primus_test/primus_test_library_plugin.cma
lib/bap-plugin-primus_test/primus_test_library_plugin.a
lib/bap-plugin-primus_test/META
lib/bap-plugin-primus_test