toolCHAINZ / jingle

Related projects ⓘ

Alternatives and complementary repositories for jingle

• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆38Updated this week
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆41Updated 10 months ago
• jevinskie / pypcode-emu
  Ghidra P-Code emulation and static LLVM lifting in Python
  ☆29Updated 2 years ago
• Colton1skees / Symex
  Symbolic executor for Binary Ninja's MLIL
  ☆22Updated last month
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆11Updated last week
• LL-MM / approxis-groundtruth
  ☆30Updated 4 years ago
• ant4g0nist / decompiler
  RetDec plugin for LLDB. RetDec is a retargetable machine-code decompiler based on LLVM.
  ☆63Updated last year
• jevinskie / jevmachopp
  Modern C++, range-based Mach-O parser designed for embedded use. Uses stack allocations only.
  ☆32Updated 2 years ago
• pd0wm / binaryninja-pcode
  This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.
  ☆27Updated 2 years ago
• travisgoodspeed / symgrate2-binja-plugin
  A plugin for Binary Ninja to query the Symgrate2 database.
  ☆13Updated 3 years ago
• LordCasser / weggli-enhance
  weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…
  ☆15Updated 5 months ago
• trailofbits / binary_type_inference
  ☆15Updated 2 months ago
• 0x62797465 / lumina-binja-improved
  IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!
  ☆36Updated 6 months ago
• Vector35 / arch-x86
  x86/x64 architecture plugin
  ☆39Updated 8 months ago
• TeumessianFox / ASPFuzz
  ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation
  ☆27Updated last year
• softsec-unh / MBA-Solver
  ☆39Updated 3 years ago
• astean1001 / ProMBA
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆48Updated 8 months ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆73Updated last week
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆42Updated 4 months ago
• blacktop / darwin-webkit-build
  WebKit CodeQL Databases
  ☆13Updated 8 months ago
• lifting-bits / patchestry
  Patchestry is a binary patching framework built with MLIR and Ghidra.
  ☆17Updated this week
• UVA-LavaLab / BigMap
  BigMap integration on AFL++
  ☆15Updated 3 years ago
• thezdi / binaryninja
  binary ninja related code
  ☆24Updated 2 years ago
• binsync / varbert_api
  A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.
  ☆37Updated 2 months ago
• 0cyn / ksuite
  My BinaryNinja toolkit I use for iOS centric RE || Prerelease!
  ☆42Updated last year
• Antid0teCom / aarch64_mte
  IDA AArch64 processor extender extension: Adding support for ARMv8.5 memory tagging extension opcodes
  ☆26Updated 4 years ago
• Vector35 / workflow_objc
  Binary Ninja plugin & workflow to help analyze Objective-C code
  ☆49Updated 2 weeks ago
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆21Updated this week
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago