revng / llvmcpyLinks
Python bindings for LLVM auto-generated from the LLVM-C API
☆229Updated 9 months ago
Alternatives and similar repositories for llvmcpy
Users that are interested in llvmcpy are comparing it to the libraries listed below
Sorting:
- A tool for analyzing x86-64 binaries.☆337Updated last year
- A static binary rewriter that does not use heuristics☆310Updated 7 years ago
- Load-time selective binary rewriting☆164Updated 3 years ago
- Safely execute an arbitrary x86 instruction☆204Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- custom type systems for Clang☆96Updated 10 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆141Updated 7 years ago
- Binary Translator to LLVM IR☆226Updated 2 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆225Updated 2 years ago
- an architecture-independent decompiler to LLVM IR☆395Updated 10 years ago
- Visualization of LLVM IR☆59Updated 11 years ago
- A static checker for identifying unstable code.☆363Updated 10 years ago
- ☆151Updated 2 years ago
- Hierarchical Delta Debugging Framework☆60Updated 2 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆321Updated 4 years ago
- Constraint solver based on coverage-guided fuzzing☆249Updated 2 years ago
- Self-hosting binary instrumentation framework for security research☆220Updated 2 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆315Updated 5 years ago
- The Jakstab static analysis platform for binaries☆163Updated 6 years ago
- Combining Unit Tests, Fuzzing, and AI☆302Updated 7 years ago
- Semantics of x86-64 in K☆168Updated 5 years ago
- LLVM Profiling Visualization☆84Updated 4 years ago
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆84Updated 7 years ago
- ☆281Updated 2 years ago
- Intermediate Representation for Binary analysis and transformation☆349Updated 3 weeks ago
- Program analysis tools developed at Draper on the CBAT project.☆106Updated 2 years ago
- Diablo is a retargetable link-time binary rewriting framework☆79Updated 5 years ago
- A Turing complete ROP compiler☆326Updated 12 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- An amd64 symbolic emulator☆313Updated 4 years ago