RolfRolles's repositories

HexRaysDeob

Hex-Rays microcode API plugin for breaking an obfuscating compiler

Language:C++License:GPL-3.0Stargazers:700Issues:34Issues:12

GhidraPAL

Ghidra Program Analysis Library

Miscellaneous

Small programs and scripts that do not require their own repositories

Language:PythonLicense:GPL-3.0Stargazers:123Issues:11Issues:0

FinSpyVM

Static unpacker for FinSpy VM

Language:PythonStargazers:96Issues:11Issues:0

SynesthesiaYS

Synesthesia, implemented as Yices scripts

License:GPL-3.0Stargazers:89Issues:10Issues:0

IDBs

Analyses in IDA/Hex-Rays

PandemicML

Pandemic binary program analysis framework in OCaml (abandoned)

Language:OCamlLicense:AGPL-3.0Stargazers:71Issues:7Issues:0

wbDESHook

DLL-injection based solution to Brecht Wyseur's wbDES challenge (based on SysK's Phrack article)

Language:C++Stargazers:39Issues:7Issues:0

SMTSample

Course sample for SMT-Based Binary Program Analysis training class

Language:PythonStargazers:30Issues:5Issues:0

HiddenBeeLoader

IDA loader module for Hidden Bee's custom executable file format

Language:PythonStargazers:20Issues:3Issues:0

Atredis2018

IDBs, source, and dumped binary files for the Atredis BlackHat 2018 challenge

Language:PythonStargazers:5Issues:2Issues:0

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++License:UPL-1.0Stargazers:0Issues:0Issues:0