RolfRolles's repositories
HexRaysDeob
Hex-Rays microcode API plugin for breaking an obfuscating compiler
Miscellaneous
Small programs and scripts that do not require their own repositories
SynesthesiaYS
Synesthesia, implemented as Yices scripts
PandemicML
Pandemic binary program analysis framework in OCaml (abandoned)
HiddenBeeLoader
IDA loader module for Hidden Bee's custom executable file format
Atredis2018
IDBs, source, and dumped binary files for the Atredis BlackHat 2018 challenge
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++UPL-1.0000