Alternatives and similar repositories for jingle:

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

• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆42Updated last year
• Colton1skees / Symex
  Symbolic executor for Binary Ninja's MLIL
  ☆22Updated 5 months ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆42Updated 2 months ago
• jevinskie / pypcode-emu
  Ghidra P-Code emulation and static LLVM lifting in Python
  ☆31Updated 2 years ago
• Jakob-Koschel / llvm-passes
  How to use LLVM passes
  ☆30Updated 2 years ago
• Vector35 / idb-rs
  IDB parser
  ☆15Updated 2 weeks ago
• 0cyn / ksuite
  My BinaryNinja toolkit I use for iOS centric RE || Prerelease!
  ☆45Updated last year
• 0xdea / haruspex
  Vulnerability research assistant that extracts pseudo-code from the IDA Hex-Rays decompiler.
  ☆24Updated this week
• thezdi / binaryninja
  binary ninja related code
  ☆25Updated 2 years ago
• yrp604 / bad64
  Binja Arm64 Disassembler
  ☆90Updated last month
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated this week
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 2 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆78Updated 2 years ago
• travisgoodspeed / symgrate2-binja-plugin
  A plugin for Binary Ninja to query the Symgrate2 database.
  ☆13Updated 3 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆45Updated 2 months ago
• ant4g0nist / decompiler
  RetDec plugin for LLDB. RetDec is a retargetable machine-code decompiler based on LLVM.
  ☆63Updated last year
• lwerdna / workbench
  small projects, exercises, poc's that'll be used once or twice
  ☆13Updated this week
• matteyeux / binja-import-header
  Small binja plugin to import header file to types
  ☆18Updated 2 years ago
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• Vector35 / warp
  Common format for transferring and applying function information across binary analysis tools
  ☆32Updated 3 months ago
• quarkslab / QBDL
  QuarkslaB Dynamic Linker library
  ☆80Updated 3 months ago
• astean1001 / ProMBA
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆48Updated last year
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆20Updated last month
• GrammaTech / retypd
  ☆69Updated last year
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• adutilleul / tigress-deobfuscation
  A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.
  ☆21Updated 3 years ago
• Vector35 / OpaquePredicatePatcher
  ☆64Updated 4 months ago
• AFLplusplus / tinyinst-rs
  Rust bindings for googleprojectzero/TinyInst
  ☆18Updated last week
• Vector35 / arch-x86
  x86/x64 architecture plugin
  ☆39Updated last year