amtal / bitspecLinks
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
Sorting:
- ☆18Updated 4 years ago
- A demontration of disassemblers generated by sleigh2rust☆13Updated 7 months ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 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
- Python scripts for parsing IDA TIL files.☆29Updated 3 years ago
- A step towards automating the creation of Ghidra processor modules☆37Updated 2 months ago
- PANDA-powered tracing engine for tenet☆11Updated 3 years ago
- Symbolic executor for Binary Ninja's MLIL☆23Updated 8 months ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆24Updated last year
- ☆13Updated 3 years ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆24Updated 11 months ago
- ☆15Updated 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
- Slightly better IDA code folding☆14Updated 5 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 5 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- The rev.ng demos☆10Updated 7 months ago
- Python interface for Binexport, the Bindiff export format☆17Updated 2 weeks ago
- RISC-V Disassembler☆18Updated 4 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆47Updated last month
- A (Miasm2 + binaryninja) based function divination.☆15Updated 7 years ago
- Some Ghidra scripts to automate my reverse-engineering tasks☆21Updated 4 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆21Updated last month
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆33Updated 2 years ago
- The DREAM decompiler☆42Updated 3 years ago
- x86 bootloader emulation with Miasm (case of NotPetya)☆43Updated 6 years ago
- ☆31Updated 4 years ago
- A Ghidra processor module for the EFI Byte Code (EBC)☆31Updated 5 years ago
- A plugin for Binary Ninja to query the Symgrate2 database.☆13Updated 3 years ago