bap-print

Extra Credit builds an outline of bap-print's docs the first time your work uses it. Until then, start at the official documentation.

• 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
• elm_playground_gamekits Genre kits for Playground games: platformers, racing, shoot 'em ups, fighting and more
• bap-taint BAP Taint Analysis Framework
• bap-phoenix BAP plugin that dumps information in a phoenix decompiler format
• llopt Just a tiny LLVM-IR optimizer for testing stuff.
• conf-jq Virtual package relying on jq
• tezos-requester Tezos: generic resource fetching service