Michael D Brown's repositories
GadgetSetAnalyzer
A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.
llap
LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use in AI/ML modeling. Originally used to create a SAST tool called Vulchecker and a lifting tool called CORBIN, but can be adapted to a wide variety of purposes. This public version contains examples from Vulchecker.
egalito-gadgets
Modified version of Egalito for use in CRA gadget elimination and poisoning.
vulchecker-misc
Miscellaneous Vulchecker processing scripts
compiler-opt-gadget-dataset
Dataset consisting of >1000 binaries created with various optimization configurations.
pyelftools
Parsing ELF and DWARF in Python
s2e-env
Your S2E project management tools. Visit https://s2e.systems/docs to get started.