Software
DIFFER: A novel differential testing tool for transformed programs combining elements from differential, regression, and fuzz testing approaches.
VulChecker: An ML-based tool for detecting and localizing software vulnerabilities in source code.
LLAP: LLVM-based software transformation tool for preparing programs for use in AI/ML models.
BinRec (ToB): A tool for dynamcally lifting and recompiling x86 programs. Based on research prototype originally created by UCI and VU.
Egalito-Gadgets: A tool for eliminating code reuse gadgets in software binaries via re-compilation. Based on Egalito by David Williams-King et al.
Debloater Evaluation Dataset: Large dataset of debloaters, benchmark programs, and metrics useful for evaluating software debloating tools.
Binary Rewriter Dataset: Large dataset of binary rewriters, benchmark programs, and metrics useful for evaluating binary rewriting tools.
Compiler Optimization Dataset: Large dataset (>1000) of software binaries produced at various optimization levels using two production compilers.
CARVE: A tool for debloating software features from source code implementations.
Gadget Set Analyzer:Â A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.
Gality: Upgraded version of Gality, an open-source implementation to compute metrics on sets of gadgets. Original version by Alexandre Bartel.