-
souffle Public
Forked from souffle-lang/souffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
C++ Universal Permissive License v1.0 UpdatedDec 22, 2023 -
-
-
Miscellaneous Public
Small programs and scripts that do not require their own repositories
-
-
HexRaysDeob Public
Hex-Rays microcode API plugin for breaking an obfuscating compiler
-
PandemicML Public archive
Pandemic binary program analysis framework in OCaml (abandoned)
-
HiddenBeeLoader Public
IDA loader module for Hidden Bee's custom executable file format
-
Atredis2018 Public
IDBs, source, and dumped binary files for the Atredis BlackHat 2018 challenge
-
SMTSample Public
Course sample for SMT-Based Binary Program Analysis training class
-
wbDESHook Public
DLL-injection based solution to Brecht Wyseur's wbDES challenge (based on SysK's Phrack article)
-
SynesthesiaYS Public
Synesthesia, implemented as Yices scripts