trailofbits / pasta
Peter's Amazing Syntax Tree Analyzer
☆129Updated 5 months ago
Alternatives and similar repositories for pasta:
Users that are interested in pasta are comparing it to the libraries listed below
- 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…☆410Updated 2 weeks ago
- libLISA: Instruction Discovery and Analysis on x86-64☆104Updated 2 weeks ago
- A binary optimization/specialization library supporting multiple rewriters☆112Updated 4 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆128Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 6 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆139Updated last month
- Assembly super-optimization via constraint solving☆182Updated this week
- Rellic produces goto-free C output from LLVM bitcode☆551Updated 6 months ago
- Lift machine code to performant LLVM IR☆411Updated 8 months ago
- ☆68Updated 8 months ago
- ☆254Updated last year
- DebugIR: Debugging LLVM-IR Files☆131Updated 3 months ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Core emulator components for Icicle☆141Updated 2 weeks ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆349Updated 6 months ago
- Safely execute an arbitrary x86 instruction☆179Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆151Updated this week
- Super-parallel Python port of the C-Reduce☆273Updated last month
- A (SLEIGH) disassembler that supports multiple architectures☆81Updated 2 years ago
- A symbolic execution engine for LLVM IR☆49Updated 2 years ago
- A framework for instrumenting build tools☆84Updated 3 months ago
- Quarkslab Bindiffer but not only !☆197Updated this week
- Ghidra Sleight (PCode) parsing library in Rust.☆42Updated 2 months ago
- Access Arm64 CPU system registers☆81Updated this week
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆117Updated 2 months ago
- Load-time selective binary rewriting☆156Updated 2 years 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.☆191Updated 2 years ago
- LLVM meets Code Property Graphs☆90Updated 4 years ago
- An open-source interactive visualization tool for comparing IR CFGs☆71Updated 11 months ago