trailofbits / pasta
Peter's Amazing Syntax Tree Analyzer
☆124Updated last month
Related projects ⓘ
Alternatives and complementary repositories for pasta
- 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…☆397Updated this week
- ☆67Updated 4 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆92Updated 3 weeks ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 2 months ago
- A binary optimization/specialization library supporting multiple rewriters☆112Updated 3 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆342Updated 2 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆137Updated 3 months ago
- Dynamic runtime inlining with LLVM☆65Updated 3 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆124Updated last year
- Lift machine code to performant LLVM IR☆387Updated 4 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆31Updated this week
- Rellic produces goto-free C output from LLVM bitcode☆536Updated 2 months ago
- Some experiments with SMT solvers and GIMPLE IR☆66Updated this week
- Assembly super-optimization via constraint solving☆165Updated this week
- ☆257Updated last year
- Quarkslab Bindiffer but not only !☆180Updated 3 weeks ago
- A high performance LLVM-based dynamic binary instrumentation framework☆244Updated 5 months ago
- DebugIR: Debugging LLVM-IR Files☆125Updated last week
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆51Updated 9 months ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆111Updated 5 months ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆179Updated 2 years ago
- llvm crash analysis☆41Updated 4 months ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆48Updated 5 years ago
- Core emulator components for Icicle☆126Updated 2 weeks ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆158Updated 2 years ago
- Super-parallel Python port of the C-Reduce☆242Updated last month
- A (SLEIGH) disassembler that supports multiple architectures☆79Updated 2 years ago
- Load-time selective binary rewriting☆152Updated 2 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆137Updated this week