GaloisInc / reoptLinks
A tool for analyzing x86-64 binaries.
☆321Updated 7 months ago
Alternatives and similar repositories for reopt
Users that are interested in reopt are comparing it to the libraries listed below
Sorting:
- Rellic produces goto-free C output from LLVM bitcode☆560Updated last week
- anvill forges beautiful LLVM bitcode out of raw machine code☆350Updated 8 months ago
- Open source binary analysis tools.☆224Updated this week
- Load-time selective binary rewriting☆158Updated 2 years ago
- Safely execute an arbitrary x86 instruction☆179Updated last year
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆325Updated this week
- A static binary rewriter that does not use heuristics☆304Updated 7 years ago
- Semantics of x86-64 in K☆153Updated 5 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Binary Translator to LLVM IR☆219Updated 2 years ago
- The Jakstab static analysis platform for binaries☆158Updated 5 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆220Updated last year
- Intermediate Representation for Binary analysis and transformation☆336Updated 3 weeks ago
- The fastest Intel-PT decoder for fuzzing☆370Updated last year
- A fast and accurate disassembler☆703Updated 3 months ago
- Domain-Specific Fuzzing with Waypoints☆236Updated 2 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆241Updated 7 months ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆222Updated last month
- Lift machine code to performant LLVM IR☆432Updated 11 months ago
- Program analysis tools developed at Draper on the CBAT project.☆103Updated 2 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆493Updated 9 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆279Updated last year
- Constraint solver based on coverage-guided fuzzing☆247Updated last year
- A Turing complete ROP compiler☆322Updated 11 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆146Updated 4 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆565Updated last month
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆134Updated 6 years ago
- llvm-mctoll☆849Updated 11 months ago
- An LLVM sanitizer tutorial☆199Updated 3 years ago