Alternatives and similar repositories for BinSym

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

• quarkslab / qbindiff

  View on GitHub
  Quarkslab Bindiffer but not only !
  ☆219May 5, 2025Updated 9 months ago
• yhyoon / simba

  View on GitHub
  Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
  ☆22Dec 3, 2023Updated 2 years ago
• atredis-jordan / SymbolicTriagePost

  View on GitHub
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Oct 31, 2022Updated 3 years ago
• evm-sec / high-pcode

  View on GitHub
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Apr 7, 2023Updated 2 years ago
• fvrmatteo / TritonASTLLVMIRTranslator

  View on GitHub
  A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
  ☆39Apr 3, 2020Updated 5 years ago
• FuturesLab / Bin2Wrong

  View on GitHub
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆59May 20, 2025Updated 8 months ago
• 0x62797465 / lumina-binja-improved

  View on GitHub
  IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!
  ☆37Dec 5, 2024Updated last year
• IITH-Compilers / LLVM-Loop-Profiler

  View on GitHub
  ☆15Feb 27, 2019Updated 6 years ago
• astean1001 / ProMBA

  View on GitHub
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆57Oct 13, 2025Updated 4 months ago
• thezdi / binaryninja

  View on GitHub
  binary ninja related code
  ☆37Mar 27, 2025Updated 10 months ago
• hugsy / bochscpu-python

  View on GitHub
  Python bindings for BochsCPU
  ☆38Aug 10, 2025Updated 6 months ago
• CryptoExperts / wyverse

  View on GitHub
  White-box analytic framework based on LLVM
  ☆39Jun 10, 2019Updated 6 years ago
• yellowbyte / zero-footprint-opaque-predicates

  View on GitHub
  obfuscation that aims to not stand out
  ☆23Mar 27, 2022Updated 3 years ago
• m417z / x64dbg-symbol-tldr

  View on GitHub
  An x64dbg plugin which helps make sense of long C++ symbols
  ☆59May 12, 2023Updated 2 years ago
• SoftwareSecurityLab / UbSym

  View on GitHub
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43May 7, 2023Updated 2 years ago
• asamy / NastyAlignment

  View on GitHub
  Simple anti-instrumentation with EFLAGS.AC
  ☆17Mar 31, 2025Updated 10 months ago
• mazeworks-security / Simplifier

  View on GitHub
  Efficient general mixed boolean-arithmetic (MBA) simplifier
  ☆121Updated this week
• llvm-ml / llvm-ir-dataset-utils

  View on GitHub
  Utilities for constructing a large dataset of LLVM IR
  ☆25Jun 2, 2025Updated 8 months ago
• shack / synth

  View on GitHub
  Synthesis of loop-free programs
  ☆24Updated this week
• emproof-com / nyxstone

  View on GitHub
  Nyxstone: assembly / disassembly library based on LLVM, implemented in C++ with Rust and Python bindings, maintained by emproof.com
  ☆399Dec 4, 2024Updated last year
• DenuvoSoftwareSolutions / SiMBA

  View on GitHub
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆181Oct 12, 2023Updated 2 years ago
• PwCUK-CTO / ScatterBee_Analysis

  View on GitHub
  Scripts to aid analysis of files obfuscated with ScatterBee.
  ☆24Jan 6, 2023Updated 3 years ago
• Pusty / ferret

  View on GitHub
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆24May 1, 2025Updated 9 months ago
• interruptlabs / jadx-collaboration

  View on GitHub
  ☆25Nov 24, 2025Updated 2 months ago
• Invoke-RE / binja-lattice-mcp

  View on GitHub
  Plugin interface for remote communications with Binary Ninja database and MCP server for interfacing with LLMs.
  ☆55May 21, 2025Updated 8 months ago
• ergrelet / triton-bn

  View on GitHub
  Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.
  ☆64Jul 17, 2024Updated last year
• danielplohmann / mcrit

  View on GitHub
  The MinHash-based Code Relationship & Investigation Toolkit (MCRIT) is a framework created to simplify the application of the MinHash alg…
  ☆96Jan 13, 2026Updated last month
• martin-cs / symfpu

  View on GitHub
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Nov 16, 2025Updated 3 months ago
• softsec-unh / MBA-Blast

  View on GitHub
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆70Aug 6, 2021Updated 4 years ago
• abenkhadra / gosat

  View on GitHub
  SMT solver for the theory of floating-point arithmetic
  ☆25Jan 30, 2018Updated 8 years ago
• mrT4ntr4 / MODeflattener

  View on GitHub
  MODeflattener deobfuscates control flow flattened functions obfuscated by OLLVM using Miasm.
  ☆203Jul 23, 2021Updated 4 years ago
• cellebrite-labs / FunctionInliner

  View on GitHub
  An IDA plugin that eases reversing of binaries that have been code-size-optimized with function outlining
  ☆224Dec 31, 2024Updated last year
• msm-code / ghidralib

  View on GitHub
  A Pythonic Ghidra standard library
  ☆183Feb 6, 2026Updated last week
• herosi / PyClassInformer

  View on GitHub
  ☆132Aug 15, 2025Updated 6 months ago
• nhpcc502 / MBA-Obfuscator

  View on GitHub
  Non-linear Mixed Boolean-Arithmetic Expressions
  ☆72Apr 18, 2024Updated last year
• mrphrazer / hitb2021ams_deobfuscation

  View on GitHub
  ☆72Jul 8, 2021Updated 4 years ago
• Vector35 / tanto

  View on GitHub
  Tantō slices functions into more consumable chunks
  ☆78Dec 8, 2025Updated 2 months ago
• Fare9 / elfparser_e

  View on GitHub
  Example of an ELF parser to learn about the ELF format
  ☆10Oct 6, 2024Updated last year
• Mobile-IoT-Security-Lab / PARIOTIC

  View on GitHub
  PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware
  ☆10Jan 26, 2023Updated 3 years ago