pwang00 / pietcc
Piet interpreter and retargetable compiler written in Rust using LLVM as a backend
☆13Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for pietcc
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆67Updated this week
- Simple grammar-based test case generator☆30Updated 6 months ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆48Updated 9 months ago
- Verified, Incremental, Binary Editing with Synthesis☆51Updated last year
- A debugger for Linux in Rust☆77Updated last year
- A compiler for the esoteric language ℂ.☆30Updated 3 years ago
- Representing DES in Z3☆15Updated last year
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆25Updated 3 months ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- Fast program tracing and analysis☆16Updated last month
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 3 weeks ago
- Variation of american fuzzy lop for testing compilers☆119Updated 2 years ago
- fundamental traits to describe an architecture in the yaxpeax project☆12Updated 4 months ago
- SMT based attacks on non cryptographic PRNGs☆77Updated last year
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated last week
- 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
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated 9 months ago
- An educational SAT solver written in Rust☆12Updated last year
- A decompiler for GHC-compiled Haskell☆104Updated 6 years ago
- rkm0959 implements stuff☆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
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆16Updated last year
- Given at least 624 outputs of a Mersenne Twister PNRG we can restore its internal state.☆46Updated 9 years ago
- Dynamically discover the commands used to create a piece of software☆46Updated last week
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆20Updated 4 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆55Updated 2 weeks ago
- ☆34Updated last year
- Pretty printer from GTIRB to assembly code☆48Updated last month