TartanLlama / dwarbf
A Brainfuck interpreter embedded inside DWARF debug information
☆36Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for dwarbf
- Modeling futexes in TLA+☆21Updated last month
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated last year
- program analysis for machine code☆33Updated 3 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆55Updated 2 weeks ago
- memory-mapped registers for x86_64 systems☆31Updated 3 years ago
- Command-line tool to interact with Compiler Explorer☆31Updated last year
- x86 decoders for the yaxpeax project☆132Updated 4 months ago
- Wasm Analysis Framework For Lightweight Experiments☆34Updated 2 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 3 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆85Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 10 months ago
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week
- A super simple /sbin/init for Linux which allows running one and only one program☆25Updated 11 months ago
- WIP UEFI Display Driver for embedded-graphics☆24Updated 3 years ago
- arm decoders for the yaxpeax project☆23Updated 4 months ago
- A compiler for the esoteric language ℂ.☆30Updated 3 years ago
- Simple grammar-based test case generator☆29Updated 6 months ago
- Rust bindings for libgccjit☆18Updated last month
- Verified, Incremental, Binary Editing with Synthesis☆51Updated last year
- UEFI Bytecode Disassembler☆57Updated 2 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated last week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆67Updated this week
- HDL development environment on Nix.☆24Updated 3 weeks ago
- fundamental traits to describe an architecture in the yaxpeax project☆12Updated 4 months 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
- The Solid-State Register Allocator☆83Updated 2 years ago
- Rust compile-time type information experiment☆18Updated last year
- Rust development environment for MIPS on NT4☆19Updated 3 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆51Updated 10 months ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year