amtal / bitspecLinks
Python bit pattern library for instruction encodings. Bytes in, IR out!
☆15Updated 3 years ago
Alternatives and similar repositories for bitspec
Users that are interested in bitspec are comparing it to the libraries listed below
Sorting:
- A step towards automating the creation of Ghidra processor modules☆38Updated 5 months ago
- A Ghidra plugin for locating object file boundaries.☆125Updated this week
- A demontration of disassemblers generated by sleigh2rust☆13Updated 10 months ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Updated 3 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆26Updated 2 years ago
- transpile llil to c++ for execution and testing☆43Updated last year
- IFL - Interactive Functions List (plugin for Binary Ninja)☆24Updated last year
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆33Updated 3 years ago
- Dr. Disassembler☆36Updated 3 years ago
- ☆13Updated 3 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆51Updated 4 months ago
- Xyntia, the black-box deobfuscator☆77Updated 3 months ago
- ☆18Updated 4 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 9 months ago
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆56Updated 2 years ago
- X86 disassembler benchmark☆62Updated last year
- The DREAM decompiler☆44Updated 3 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆75Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24Updated 5 months ago
- ☆72Updated last year
- An optimizing decompiler (modified to use remill semantics)☆30Updated 6 years ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆83Updated 2 years ago
- Python bindings for BochsCPU☆37Updated 2 months ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- Toshiba MeP-c4 for Ghidra☆22Updated 6 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 2 years ago
- A Ghidra processor module for the EFI Byte Code (EBC)☆33Updated 5 years ago
- Python interface for Binexport, the Bindiff export format☆17Updated last month