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
  ☆81Updated 3 years ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆132Updated 2 months ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆119Updated this week
• WorksButNotTested / lightkeeper
  ☆68Updated 8 months ago
• mrphrazer / hitb2021ams_deobfuscation
  ☆72Updated 4 years ago
• eset / stadeo
  Control-flow-flattening and string deobfuscator
  ☆157Updated 4 years ago
• arnaugamez / talks
  Slides, recordings and materials of my public presentations, talks and workshops.
  ☆79Updated last week
• PistonMiner / binaryninja-bindiff-viewer
  ☆79Updated 3 years ago
• GrammaTech / retypd
  ☆73Updated last year
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆46Updated 3 years ago
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 4 years ago
• JannisKirschner / SymbolicExecutionDemystified
  Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
  ☆100Updated 3 years ago
• quarkslab / QBDL
  QuarkslaB Dynamic Linker library
  ☆89Updated 11 months ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆37Updated 3 months ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Updated 4 years ago
• DenuvoSoftwareSolutions / SiMBA
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆171Updated 2 years ago
• psifertex / breaking_decompilers
  breaking decompilers
  ☆54Updated 6 months ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆115Updated 11 months ago
• quarkslab / quokka
  Quokka: A Fast and Accurate Binary Exporter
  ☆205Updated 2 weeks ago
• hugsy / binja-headless
  Binja (sort of) headless
  ☆55Updated 9 months ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• Vector35 / llil_transpiler
  transpile llil to c++ for execution and testing
  ☆43Updated last year
• s3team / gdop
  A Generalized Dynamic Opaque Predicate Obfuscator
  ☆46Updated 9 years ago
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆165Updated 4 months ago
• foundryzero / ghidra-deep-links
  A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…
  ☆42Updated 8 months ago
• thebabush / nampa
  Nampa - FLIRT for (binary) ninjas
  ☆98Updated 11 months ago
• Vector35 / OpaquePredicatePatcher
  ☆67Updated last year
• trailofbits / BTIGhidra
  Binary Type Inference Ghidra Plugin
  ☆166Updated last year
• Fare9 / KUNAI-static-analyzer
  Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.
  ☆144Updated last year
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆66Updated 4 years ago