package bap-primus-test
BAP Primus Testing and Program Verification module
Install
Dune Dependency
Authors
Maintainers
Sources
v1.4.0.tar.gz
sha256=7cf5548bfaafd20ed17d29b0e8967fb46a26d153d47c5005e65f6becd608d11c
md5=b7785715c24645e8e69a8091427d090e
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.
Published: 13 Mar 2018
Dependencies (3)
-
bap-primus
= "1.4.0"
-
bap-std
= "1.4.0"
-
ocaml
>= "4.03" & < "4.06"
Dev Dependencies
None
Used by (1)
-
bap
= "1.4.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page