Alternatives and similar repositories for xyntia:

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

• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆114Updated 3 months ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆78Updated 2 years ago
• PistonMiner / binaryninja-bindiff-viewer
  ☆76Updated 2 years ago
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 3 years ago
• DenuvoSoftwareSolutions / SiMBA
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆154Updated last year
• mrphrazer / hitb2021ams_deobfuscation
  ☆72Updated 3 years ago
• Vector35 / OpaquePredicatePatcher
  ☆64Updated 4 months ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆94Updated last week
• cxiao / rust_type_layout_helper_bn
  An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…
  ☆35Updated last year
• vmware-archive / HexRaysDeob
  Hex-Rays microcode API plugin for breaking an obfuscating compiler
  ☆82Updated 5 years ago
• williballenthin / ucutils
  Convenience routines for working with the Unicorn emulator in Python
  ☆25Updated 2 months ago
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆42Updated last year
• harelon / GoFastAnalyzer
  Go fastcall analysis for ida decompiler
  ☆31Updated last month
• arnaugamez / talks
  Slides, recordings and materials of my public presentations, talks and workshops.
  ☆77Updated this week
• pgarba / SiMBA-
  Port of MBA Solver SiMBA to C/C++
  ☆77Updated 2 weeks ago
• Mizari / phrank
  Tool that automates some useful structure routines in IDA PRO
  ☆77Updated last year
• riverloopsec / ninjadiff
  NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!
  ☆63Updated 3 years ago
• GrammaTech / retypd
  ☆70Updated last year
• patois / hexrays_scripts
  Various scripts for the Hexrays decompiler
  ☆94Updated last year
• LLVMParty / RemillWorkshop
  ☆47Updated last month
• hugsy / binja-headless
  Binja (sort of) headless
  ☆43Updated last month
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆109Updated 4 months ago
• astean1001 / ProMBA
  MBA deobfuscator via Program Synthesis and Term Rewriting
  ☆49Updated last year
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• WorksButNotTested / lightkeeper
  ☆60Updated last month
• 0x62797465 / lumina-binja-improved
  IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!
  ☆37Updated 3 months ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated 2 years ago
• rizinorg / sigdb
  Rizin FLIRT Signature Database
  ☆39Updated last year
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆45Updated 2 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago