Pinned Repositories
FinSpyVM
Static unpacker for FinSpy VM
GhidraPAL
Ghidra Program Analysis Library
HexRaysDeob
Hex-Rays microcode API plugin for breaking an obfuscating compiler
HiddenBeeLoader
IDA loader module for Hidden Bee's custom executable file format
IDBs
Analyses in IDA/Hex-Rays
Miscellaneous
Small programs and scripts that do not require their own repositories
PandemicML
Pandemic binary program analysis framework in OCaml (abandoned)
SMTSample
Course sample for SMT-Based Binary Program Analysis training class
SynesthesiaYS
Synesthesia, implemented as Yices scripts
wbDESHook
DLL-injection based solution to Brecht Wyseur's wbDES challenge (based on SysK's Phrack article)
RolfRolles's Repositories
RolfRolles/HexRaysDeob
Hex-Rays microcode API plugin for breaking an obfuscating compiler
RolfRolles/GhidraPAL
Ghidra Program Analysis Library
RolfRolles/Miscellaneous
Small programs and scripts that do not require their own repositories
RolfRolles/FinSpyVM
Static unpacker for FinSpy VM
RolfRolles/SynesthesiaYS
Synesthesia, implemented as Yices scripts
RolfRolles/IDBs
Analyses in IDA/Hex-Rays
RolfRolles/PandemicML
Pandemic binary program analysis framework in OCaml (abandoned)
RolfRolles/wbDESHook
DLL-injection based solution to Brecht Wyseur's wbDES challenge (based on SysK's Phrack article)
RolfRolles/SMTSample
Course sample for SMT-Based Binary Program Analysis training class
RolfRolles/HiddenBeeLoader
IDA loader module for Hidden Bee's custom executable file format
RolfRolles/Atredis2018
IDBs, source, and dumped binary files for the Atredis BlackHat 2018 challenge
RolfRolles/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.