trailofbits / macroni
C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
☆40Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for macroni
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week
- A symbolic execution engine for LLVM IR☆34Updated 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…☆41Updated this week
- Verified, Incremental, Binary Editing with Synthesis☆51Updated last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆17Updated this week
- Solving floating point SMT constraints on a GPU☆48Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 2 weeks ago
- print information from LLVM dataflow analyses☆13Updated 4 years ago
- Dr. Disassembler☆35Updated 2 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- Experimental MLIR based points-to analysis tool☆13Updated this week
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- VSCode extension for the LLVM IR language☆59Updated 5 months ago
- llvm crash analysis☆41Updated 4 months ago
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆27Updated 4 months ago
- SMT Modeling for Ghidra's PCODE☆20Updated this week
- Pretty printer from GTIRB to assembly code☆48Updated last month
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated last year
- ☆67Updated 4 months ago
- GCC plugin for C language that tracks references to allocated objects☆23Updated last week
- Efficient patch generation engine for C/C++ programs☆18Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Updated last month
- LLVM meets Code Property Graphs☆87Updated 3 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains☆21Updated 8 months ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated last year
- ☆20Updated last year