TartanLlama / dwarbfLinks
A Brainfuck interpreter embedded inside DWARF debug information
☆38Updated last year
Alternatives and similar repositories for dwarbf
Users that are interested in dwarbf are comparing it to the libraries listed below
Sorting:
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated 6 months ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 7 months ago
- A super simple /sbin/init for Linux which allows running one and only one program☆28Updated last year
- GCC plugin for C language that tracks references to allocated objects☆29Updated 5 months ago
- Wasm Analysis Framework For Lightweight Experiments☆52Updated 3 months ago
- ☆24Updated 10 months ago
- x86 decoders for the yaxpeax project☆137Updated last month
- a tool for reinterpreting ELF executables and shared libraries☆330Updated 11 months ago
- Modeling futexes in TLA+☆20Updated last year
- program analysis for machine code☆36Updated 4 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆93Updated this week
- Assembler toolkit: encoding and decoding of various architectures☆37Updated 10 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆78Updated last month
- libLISA: Instruction Discovery and Analysis on x86-64☆118Updated 8 months ago
- fundamental traits to describe an architecture in the yaxpeax project☆16Updated 7 months ago
- WIP UEFI Display Driver for embedded-graphics☆25Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆77Updated 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…☆58Updated 2 months ago
- The Solid-State Register Allocator☆87Updated 3 years ago
- Overlay chroot☆16Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- memory-mapped registers for x86_64 systems☆35Updated 4 years ago
- Verified, Incremental, Binary Editing with Synthesis☆53Updated 2 years ago
- A compiler for the esoteric language ℂ.☆28Updated 4 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆56Updated last year
- A collection of interesting ELF files for inspiration and testing☆30Updated 2 years ago
- ☆11Updated 2 years ago