pwang00 / pietcc
Piet interpreter and retargetable compiler written in Rust using LLVM as a backend
☆13Updated 2 months ago
Related projects: ⓘ
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆65Updated 2 weeks ago
- Variation of american fuzzy lop for testing compilers☆115Updated 2 years ago
- Simple grammar-based test case generator☆30Updated 4 months ago
- A compiler for the esoteric language ℂ.☆30Updated 3 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆44Updated 7 months ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆13Updated 8 months ago
- A memory allocator written in Assembly focused on speed and efficiency, making it fantastic for small programs.☆14Updated 4 years ago
- A machine-readable representation of the Intel x86 Instruction Set Reference.☆30Updated 3 years ago
- Synthesis of Loop-free Programs in Rust☆62Updated 4 years ago
- Pretty printer from GTIRB to assembly code☆47Updated 3 weeks ago
- Verified, Incremental, Binary Editing with Synthesis☆46Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆50Updated 2 weeks ago
- Some experiments with SMT solvers and GIMPLE IR☆56Updated last week
- img -> txt -> img☆10Updated 3 years ago
- Dynamically discover the commands used to create a piece of software☆45Updated 3 months ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆25Updated last week
- Fast program tracing and analysis☆16Updated 2 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆39Updated last month
- Program analysis tools developed at Draper on the CBAT project.☆101Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆83Updated 2 years ago
- An implementation of Dumer's algorithm for Information Set Decoding.☆12Updated 8 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated 10 months ago
- Open source binary analysis tools.☆203Updated this week
- solver for the reachability modulo theories problem☆58Updated last year
- Assembly needs a modern makeover! Aski is a compiled programming language allowing programming as low abstraction as Assembly but a synta…☆20Updated 4 years ago
- ☆11Updated last year
- A super simple RV32i JIT, designed for ease of understanding and modification☆83Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆38Updated last year
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆22Updated 8 months ago
- A debugger for Linux in Rust☆77Updated last year