amtal / bitspec
Python bit pattern library for instruction encodings. Bytes in, IR out!
☆14Updated 3 years ago
Alternatives and similar repositories for bitspec:
Users that are interested in bitspec are comparing it to the libraries listed below
- A plugin for Binary Ninja to query the Symgrate2 database.☆13Updated 3 years ago
- A step towards automating the creation of Ghidra processor modules☆37Updated 3 weeks ago
- Toshiba MeP-c4 for Ghidra☆22Updated 5 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 4 years ago
- A simple IDA Pro plugin to show all HexRays decompiler comments written by user☆21Updated 3 years ago
- The DREAM decompiler☆42Updated 3 years ago
- ☆17Updated 4 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆31Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Python interface for Binexport, the Bindiff export format☆16Updated 3 weeks ago
- A Ghidra processor module for the EFI Byte Code (EBC)☆31Updated 4 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- Symbolic executor for Binary Ninja's MLIL☆23Updated 7 months ago
- PANDA-powered tracing engine for tenet☆11Updated 3 years ago
- A Ghidra extension for running Kotlin scripts☆16Updated 4 years ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆23Updated 9 months ago
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆53Updated 2 years ago
- links, information and helper scripts for IDA Pro☆18Updated 6 years ago
- Python scripts for parsing IDA TIL files.☆29Updated 3 years ago
- VSCode Ghidra Plugin/Script Skeletons☆29Updated 4 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- Integrate Ghidra's decompiler as an Ida plugin, this version has nice syntax highlighting, comments and other cool features.☆50Updated 4 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 5 months ago
- Tool to extract the kallsyms (System.map) from a memory dump☆26Updated last year
- IDA Pro Python plugin to analyze and annotate Linux kernel alternatives☆23Updated 3 years ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- ☆13Updated 2 years ago