securesystemslab / multicompiler
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
☆129Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for multicompiler
- Collection of various llvm passes☆117Updated 9 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- Rewriting functions in compiled binaries using McSema☆87Updated 5 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆83Updated 3 years ago
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- A binary to LLVM translator☆142Updated 6 years ago
- Self-hosting binary instrumentation framework for security research☆209Updated last year
- Infrastructure for Reassembleable Disassembling and Transformation☆192Updated 2 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆49Updated 8 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆105Updated 5 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆249Updated last year
- HexType: Efficient Detection of Type Confusion Errors for C++☆99Updated 7 months ago
- ☆63Updated 3 years ago
- Timeless debugging with symbolic execution and processor trace☆74Updated 3 years ago
- Block Oriented Programming -- Compiler☆181Updated 4 years ago
- Fast and efficient binary translator☆58Updated 5 years ago
- The Jakstab static analysis platform for binaries☆157Updated 4 years ago
- Binary Translator to LLVM IR☆215Updated last year
- A patched version of VEX to work with PyVEX.☆105Updated 2 months ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆46Updated 7 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆128Updated 2 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆58Updated 2 years ago
- Fast static binary instrumentation for linux/x86☆82Updated 7 years ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆176Updated 2 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆79Updated 6 years ago
- ELF Unstrip Tool☆106Updated 9 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- Uncovering Class Hierarchies in C++ Programs☆123Updated 2 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago