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.