securesystemslab / multicompiler
LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
☆131Updated 6 years ago
Alternatives and similar repositories for multicompiler:
Users that are interested in multicompiler are comparing it to the libraries listed below
- Collection of various llvm passes☆119Updated 9 years ago
- Self-hosting binary instrumentation framework for security research☆210Updated last year
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- A patched version of VEX to work with PyVEX.☆105Updated last month
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- A binary to LLVM translator☆145Updated 6 years ago
- The Jakstab static analysis platform for binaries☆158Updated 5 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆197Updated 2 weeks ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆46Updated 7 years ago
- Binary Translator to LLVM IR☆215Updated last year
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆84Updated 3 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆59Updated 2 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆50Updated 9 years ago
- Symbolic Simplification with PAttern Matching☆104Updated 7 years ago
- Modular And Compositional analysis with KLEE Engine☆114Updated 5 years ago
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆112Updated 3 years ago
- Block Oriented Programming -- Compiler☆182Updated 4 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Automated Return-Oriented Programming Chaining☆83Updated 8 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆79Updated 6 years ago
- Constraint solver based on coverage-guided fuzzing☆240Updated last year
- HexType: Efficient Detection of Type Confusion Errors for C++☆100Updated 9 months ago
- Utilities for generating dynamic traces☆89Updated 2 years ago
- Your S2E project management tools. Visit https://s2e.systems/docs to get started.☆94Updated last month
- Pretty printer from GTIRB to assembly code☆48Updated this week
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆128Updated 2 years ago
- ☆129Updated 5 years ago
- Safely execute an arbitrary x86 instruction☆178Updated 11 months ago