immunant / dwarf-writer
Updates DWARF debug sections and ELF symbols with info obtained through disassembly
☆29Updated 8 months ago
Alternatives and similar repositories for dwarf-writer:
Users that are interested in dwarf-writer are comparing it to the libraries listed below
- yaxdis, a small and naive disassembler using yaxpeax decoders☆34Updated 2 weeks ago
- A structured fuzzing framework built in Rust☆26Updated 2 years ago
- Dr. Disassembler☆35Updated 3 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 7 months ago
- A (SLEIGH) disassembler that supports multiple architectures☆81Updated 2 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆42Updated 2 months ago
- ☆17Updated 6 months ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- fundamental traits to describe an architecture in the yaxpeax project☆14Updated 2 weeks ago
- SMT Modeling for Ghidra's PCODE☆22Updated last month
- VSCode extension for the LLVM IR language☆60Updated 9 months ago
- program analysis for machine code☆35Updated 3 years ago
- Simple grammar-based test case generator☆30Updated 2 weeks ago
- Some Rust bindings for Binary Ninja☆30Updated last year
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- Rust bindings fo the Apple Silicon Hypervisor.framework☆37Updated 5 months ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated last week
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- Sled System Emulator☆28Updated last month
- Program for converting C preprocessor usage to C constructs☆12Updated 2 years ago
- Instruction decoder generator☆13Updated last month
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- Deprecated! Use qemu-rs instead :)☆73Updated last year
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 2 years ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 4 years ago
- A super simple RV32i JIT, designed for ease of understanding and modification☆84Updated 2 years ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆11Updated 2 years ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆67Updated 2 weeks ago