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
• GrammaTech / retypd
  ☆72Updated last year
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆112Updated this week
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆126Updated 2 weeks ago
• DenuvoSoftwareSolutions / SiMBA
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆162Updated last year
• mrphrazer / hitb2021ams_deobfuscation
  ☆72Updated 4 years ago
• PistonMiner / binaryninja-bindiff-viewer
  ☆78Updated 3 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
• WorksButNotTested / lightkeeper
  ☆65Updated 5 months ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• arnaugamez / talks
  Slides, recordings and materials of my public presentations, talks and workshops.
  ☆78Updated 2 months ago
• pietroborrello / raindrop
  This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …
  ☆62Updated 4 years ago
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆66Updated 4 years ago
• JannisKirschner / SymbolicExecutionDemystified
  Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
  ☆100Updated 3 years ago
• quarkslab / QBDL
  QuarkslaB Dynamic Linker library
  ☆86Updated 7 months ago
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆46Updated 2 years ago
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆164Updated last month
• Vector35 / OpaquePredicatePatcher
  ☆66Updated 8 months ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆113Updated 8 months ago
• thebabush / nampa
  Nampa - FLIRT for (binary) ninjas
  ☆95Updated 7 months ago
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 3 years ago
• hugsy / binja-headless
  Binja (sort of) headless
  ☆52Updated 5 months ago
• quarkslab / sspam
  Symbolic Simplification with PAttern Matching
  ☆105Updated 8 years ago
• airbus-seclab / AutoResolv
  ☆82Updated 2 years ago
• vmware-archive / HexRaysDeob
  Hex-Rays microcode API plugin for breaking an obfuscating compiler
  ☆84Updated 6 years ago
• angr / pypcode
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆198Updated this week
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆37Updated this week
• Martyx00 / CollaRE
  Multi-tool reverse engineering collaboration solution.
  ☆140Updated last year
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆43Updated last year