bap-taint

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

• 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
• elm_playground_gamekits Genre kits for Playground games: platformers, racing, shoot 'em ups, fighting and more
• 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
• hexstring A library to encode to and decode from hexadecimal strings
• header-check A tool to check and update source headers, using checksums