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.

Language:PythonLicense:MITStargazers:15Issues:0Issues:0

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.

Language:C++License:AGPL-3.0Stargazers:9Issues:1Issues:1

CARVE

Source code based software debloating tool

Language:PythonLicense:MITStargazers:5Issues:1Issues:3

gality

Open-source implementation to compute metrics on sets of gadgets

Language:JavaLicense:LGPL-2.1Stargazers:3Issues:0Issues:0

egalito-gadgets

Modified version of Egalito for use in CRA gadget elimination and poisoning.

Language:C++License:GPL-3.0Stargazers:1Issues:0Issues:0

vulchecker-misc

Miscellaneous Vulchecker processing scripts

Language:PythonStargazers:1Issues:1Issues:0

compiler-opt-gadget-dataset

Dataset consisting of >1000 binaries created with various optimization configurations.

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

pyelftools

Parsing ELF and DWARF in Python

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

s2e-env

Your S2E project management tools. Visit https://s2e.systems/docs to get started.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0