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☆39Updated 7 months ago
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Updated 3 years ago
- ☆18Updated 5 years ago
- transpile llil to c++ for execution and testing☆43Updated last year
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆56Updated 2 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Updated 3 years ago
- Xyntia, the black-box deobfuscator☆83Updated 3 weeks ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Updated 2 years ago
- Toshiba MeP-c4 for Ghidra☆22Updated 6 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆34Updated 3 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 10 months ago
- Python scripts for parsing IDA TIL files.☆31Updated 4 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 11 months ago
- ☆73Updated last year
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24Updated 6 months ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆24Updated last year
- The DREAM decompiler☆46Updated 3 years ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆17Updated 2 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- VSCode Ghidra Plugin/Script Skeletons☆30Updated 5 years ago
- Dr. Disassembler☆37Updated 3 years ago
- A Ghidra plugin for locating object file boundaries.☆126Updated last month
- Symbolic executor for Binary Ninja's MLIL☆26Updated last year
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 3 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆76Updated last week
- A disassembler☆22Updated 3 years ago
- ☆13Updated 3 years ago
- Tests cases for binary decompilers☆57Updated 2 years ago