michaelbrownuc

Pinned Repositories

mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Language:C++2.7k 113 439341
CARVE
Source code based software debloating tool
Language:Python6 1 30
compiler-opt-gadget-dataset
Dataset consisting of >1000 binaries created with various optimization configurations.
0 1 00
egalito-gadgets
Modified version of Egalito for use in CRA gadget elimination and poisoning.
Language:C++2 2 00
GadgetSetAnalyzer
A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.
Language:Python17 2 114
gality
Open-source implementation to compute metrics on sets of gadgets
Language:Java4 1 01
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++13 1 12
pyelftools
Parsing ELF and DWARF in Python
Language:Python0 0 00
s2e-env
Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Language:Python0 0 00
vulchecker-misc
Miscellaneous Vulchecker processing scripts
Language:Python4 1 01

michaelbrownuc's Repositories

michaelbrownuc/GadgetSetAnalyzer
A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.
Language:Python17 2 114
michaelbrownuc/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++13 1 12
michaelbrownuc/CARVE
Source code based software debloating tool
Language:Python6 1 30
michaelbrownuc/gality
Open-source implementation to compute metrics on sets of gadgets
Language:Java4 1 01
michaelbrownuc/vulchecker-misc
Miscellaneous Vulchecker processing scripts
Language:Python4 1 01
michaelbrownuc/egalito-gadgets
Modified version of Egalito for use in CRA gadget elimination and poisoning.
Language:C++2 2 00
michaelbrownuc/compiler-opt-gadget-dataset
Dataset consisting of >1000 binaries created with various optimization configurations.
0 1 00
michaelbrownuc/pyelftools
Parsing ELF and DWARF in Python
Language:Python0 0 00
michaelbrownuc/s2e-env
Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Language:Python0 0 00