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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 02 Jun 2020
- Authors
- Maintainers
Sources
Dependencies
Reverse Dependencies
bap
= "2.1.0"