optal

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

• 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
• bap-dump-symbols BAP plugin that dumps symbols information from a binary
• 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