Alternatives and similar repositories for xyntia

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

• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆80Updated 2 years ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆127Updated last week
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆115Updated this week
• GrammaTech / retypd
  ☆72Updated last year
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆65Updated 4 years ago
• riverloopsec / ninjadiff
  NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!
  ☆69Updated 3 years ago
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 3 years ago
• WorksButNotTested / lightkeeper
  ☆66Updated 6 months ago
• PistonMiner / binaryninja-bindiff-viewer
  ☆78Updated 3 years ago
• DenuvoSoftwareSolutions / SiMBA
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆166Updated last year
• mrphrazer / hitb2021ams_deobfuscation
  ☆72Updated 4 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Updated 4 years ago
• eset / stadeo
  Control-flow-flattening and string deobfuscator
  ☆155Updated 3 years ago
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆46Updated 3 years ago
• Vector35 / OpaquePredicatePatcher
  ☆66Updated 10 months ago
• arnaugamez / talks
  Slides, recordings and materials of my public presentations, talks and workshops.
  ☆78Updated 3 months ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆113Updated 9 months ago
• hugsy / binja-headless
  Binja (sort of) headless
  ☆53Updated 7 months ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• JannisKirschner / SymbolicExecutionDemystified
  Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
  ☆100Updated 3 years ago
• Martyx00 / CollaRE
  Multi-tool reverse engineering collaboration solution.
  ☆140Updated last year
• interruptlabs / semgrep_bn
  Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.
  ☆33Updated 7 months ago
• airbus-seclab / AutoResolv
  ☆82Updated 2 years ago
• quarkslab / quokka
  Quokka: A Fast and Accurate Binary Exporter
  ☆201Updated this week
• FernandoDoming / r2diaphora
  Port of the binary diffing library, diaphora, for radare2 and mariadb
  ☆51Updated 2 years ago
• cyberkaida / golang-ghidra
  A Ghidra extension for Golang analysis
  ☆25Updated 2 years ago
• cmu-sei / kaiju
  CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- p…
  ☆132Updated 3 weeks ago
• patois / hexrays_scripts
  Various scripts for the Hexrays decompiler
  ☆95Updated 2 years ago
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆164Updated 2 months ago
• xorpse / parascope
  weggli ruleset scanner for source code and binaries
  ☆30Updated last week