Alternatives and similar repositories for bitspec:

Users that are interested in bitspec are comparing it to the libraries listed below

• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆42Updated last year
• Baldanos / cortex-m-antidebug
  ☆17Updated 4 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• relyze-ltd / LibTCGTranslate
  A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…
  ☆46Updated 4 years ago
• Colton1skees / Symex
  Symbolic executor for Binary Ninja's MLIL
  ☆22Updated 5 months ago
• quarkslab / python-binexport
  Python interface for Binexport, the Bindiff export format
  ☆14Updated last month
• guedou / ghidra-processor-mep
  Toshiba MeP-c4 for Ghidra
  ☆22Updated 5 years ago
• meromwolff / Ghidra-EFI-Byte-Code-Processor
  A Ghidra processor module for the EFI Byte Code (EBC)
  ☆31Updated 4 years ago
• GrammaTech / gtirb-ddisasm-retypd
  ☆13Updated 2 years ago
• travisgoodspeed / symgrate2-binja-plugin
  A plugin for Binary Ninja to query the Symgrate2 database.
  ☆13Updated 3 years ago
• VDOO-Connected-Trust / KotlinScriptProvider
  A Ghidra extension for running Kotlin scripts
  ☆16Updated 4 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆45Updated 2 months ago
• TheRomanXpl0it / ghidra-emu-fun
  Ghidra Emulates Functions
  ☆54Updated 4 years ago
• evm-sec / high-pcode
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Updated last year
• pd0wm / binaryninja-pcode
  This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.
  ☆29Updated 2 years ago
• aerosoul94 / tilutil
  Python scripts for parsing IDA TIL files.
  ☆29Updated 3 years ago
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆20Updated last month
• ehennenfent / binja_explain_instruction
  Adds a window to Binary Ninja that explains in simple-ish English what an instruction does
  ☆53Updated 2 years ago
• Vector35 / arch-x86
  x86/x64 architecture plugin
  ☆39Updated last year
• oberoisecurity / ghidra-processor-module-generator
  A step towards automating the creation of Ghidra processor modules
  ☆37Updated 4 years ago
• xenocidewiki / riscv-disasm
  RISC-V Disassembler
  ☆18Updated 4 years ago
• mxms0 / cfold
  Slightly better IDA code folding
  ☆14Updated 4 years ago
• MrNox / XRaysComments
  A simple IDA Pro plugin to show all HexRays decompiler comments written by user
  ☆21Updated 3 years ago
• XenoKovah / IntelTXE-PoC
  Intel Management Engine JTAG Proof of Concept - 2022 Instructions
  ☆32Updated 2 years ago
• rbran / sleigh3rust
  A demontration of disassemblers generated by sleigh2rust
  ☆12Updated 4 months ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆35Updated last month
• trou / apache-module-ida-til
  Making Type Info Library (TIL) file for Apache modules
  ☆55Updated 4 years ago
• Vector35 / OpaquePredicatePatcher
  ☆64Updated 4 months ago
• Vector35 / official-plugins
  Repository for officially supported Binary Ninja plugins
  ☆49Updated last week
• cxiao / minidump_bn
  Minidump loader for Binary Ninja
  ☆10Updated last year