bap-ssa
A BAP plugin, that translates a program into the SSA form
opam install bap-ssa More in OCaml packages
All 500- bap-disassemble Implements the disassemble command
- zarith_stubs_js Javascripts stubs for the Zarith library
- bap-report A BAP plugin that reports program status
- bitvec-order Base style comparators and orders for Bitvec
- asli Interpreter for Arm's Architecture Specification Language (ASL)
- oseq Simple list of suspensions, as a composable lazy iterator that behaves like a value
- bap-dump-symbols BAP plugin that dumps symbols information from a binary
- optal A new language for optimization
- pbkdf Password based key derivation functions (PBKDF) from PKCS#5
- bap-mc BAP machine instruction playground
- bap-primus-random Provides components for Primus state randomization
- conf-radare2 Checks that radare2 is installed