bap-dump-symbols
BAP plugin that dumps symbols information from a binary
opam install bap-dump-symbols More in OCaml packages
All 500- 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-ssa A BAP plugin, that translates a program into the SSA form
- 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
- bap-print Print plugin - print project in various formats