revng / llvmcpyLinks
Python bindings for LLVM auto-generated from the LLVM-C API
☆229Updated 7 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.☆332Updated last year
- custom type systems for Clang☆96Updated 10 years ago
- Load-time selective binary rewriting☆163Updated 3 years ago
- Safely execute an arbitrary x86 instruction☆186Updated last year
- Binary Translator to LLVM IR☆225Updated 2 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- A static binary rewriter that does not use heuristics☆308Updated 7 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆140Updated 7 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆222Updated 2 years ago
- Constraint solver based on coverage-guided fuzzing☆249Updated last year
- ☆151Updated 2 years ago
- A static checker for identifying unstable code.☆363Updated 10 years ago
- an architecture-independent decompiler to LLVM IR☆395Updated 10 years ago
- Visualization of LLVM IR☆60Updated 11 years ago
- Self-hosting binary instrumentation framework for security research☆217Updated 2 years ago
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Semantics of x86-64 in K☆161Updated 5 years ago
- Rellic produces goto-free C output from LLVM bitcode☆573Updated 2 weeks ago
- LLVM Profiling Visualization☆84Updated 3 years ago
- Hierarchical Delta Debugging Framework☆59Updated last month
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- Yet another crippled decompiler project☆109Updated 3 years ago
- Intermediate Representation for Binary analysis and transformation☆345Updated this week
- The Jakstab static analysis platform for binaries☆160Updated 5 years ago
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆121Updated 5 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆331Updated this week
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆57Updated 3 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆354Updated last year
- Combining Unit Tests, Fuzzing, and AI☆302Updated 6 years ago