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
- ☆68Updated 8 months 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…☆410Updated 2 weeks ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 6 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆104Updated 2 weeks ago
- Assembly super-optimization via constraint solving☆181Updated this week
- BinRec: Dynamic Binary Lifting and Recompilation☆127Updated last year
- A binary optimization/specialization library supporting multiple rewriters☆112Updated 4 years ago
- Rellic produces goto-free C output from LLVM bitcode☆551Updated 6 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆139Updated last month
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆349Updated 6 months ago
- ☆254Updated last year
- A framework for instrumenting build tools☆84Updated 3 months ago
- Core emulator components for Icicle☆140Updated 2 weeks ago
- Access Arm64 CPU system registers☆81Updated this week
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆54Updated last year
- Safely execute an arbitrary x86 instruction☆179Updated last year
- Lift machine code to performant LLVM IR☆411Updated 8 months ago
- A high performance LLVM-based dynamic binary instrumentation framework☆254Updated 9 months ago
- llvm crash analysis☆43Updated 8 months ago
- LLVM IR CMake utils for bitcode file manipulation by opt and friends☆71Updated 3 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- symbolic execution plugin for binary ninja☆312Updated last year
- Static instrumentation tool for efficient binary-level coverage analysis.☆145Updated 4 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- An LLVM sanitizer tutorial☆199Updated 2 years ago
- Quarkslab Bindiffer but not only !☆196Updated this week
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago