trailofbits / pasta
Peter's Amazing Syntax Tree Analyzer
☆123Updated last month
Related projects ⓘ
Alternatives and complementary repositories for pasta
- BinRec: Dynamic Binary Lifting and Recompilation☆125Updated last year
- ☆67Updated 4 months ago
- A binary optimization/specialization library supporting multiple rewriters☆112Updated 3 years ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆396Updated this week
- anvill forges beautiful LLVM bitcode out of raw machine code☆340Updated 2 months ago
- Lift machine code to performant LLVM IR☆391Updated 5 months ago
- Rellic produces goto-free C output from LLVM bitcode☆537Updated 2 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆138Updated 4 months ago
- ☆256Updated last year
- Core emulator components for Icicle☆126Updated 3 weeks ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 3 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆94Updated last week
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆111Updated 6 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆158Updated 2 years ago
- A high performance LLVM-based dynamic binary instrumentation framework☆246Updated 5 months ago
- Safely execute an arbitrary x86 instruction☆178Updated 9 months ago
- Assembly super-optimization via constraint solving☆167Updated last week
- Quarkslab Bindiffer but not only !☆181Updated last month
- An LLVM sanitizer tutorial☆197Updated 2 years ago
- Dynamic runtime inlining with LLVM☆65Updated 3 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆140Updated last week
- LLVM meets Code Property Graphs☆87Updated 3 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- Load-time selective binary rewriting☆152Updated 2 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆51Updated 9 months ago
- DebugIR: Debugging LLVM-IR Files☆125Updated 3 weeks ago
- llvm crash analysis☆41Updated 4 months ago
- VSCode extension for the LLVM IR language☆59Updated 5 months ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆145Updated 3 years ago
- Intermediate Representation for Binary analysis and transformation☆310Updated 2 months ago