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!)
  ☆135Updated last month
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆127Updated this week
• arnaugamez / talks
  Slides, recordings and materials of my public presentations, talks and workshops.
  ☆81Updated 2 months ago
• GrammaTech / retypd
  ☆74Updated 2 years ago
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆47Updated 3 years ago
• PistonMiner / binaryninja-bindiff-viewer
  ☆80Updated 3 years 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 3 weeks ago
• JannisKirschner / SymbolicExecutionDemystified
  Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
  ☆100Updated 3 years ago
• mahaloz / sailr-eval
  The SAILR paper's evaluation pipline for measuring the quality of decompilation
  ☆117Updated last year
• WorksButNotTested / lightkeeper
  ☆70Updated 11 months ago
• hugsy / binja-headless
  Binja (sort of) headless
  ☆63Updated 11 months ago
• xorpse / parascope
  weggli ruleset scanner for source code and binaries
  ☆37Updated 2 months ago
• riverloopsec / ninjadiff
  NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!
  ☆69Updated 4 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Updated 5 years ago
• quarkslab / QBDL
  QuarkslaB Dynamic Linker library
  ☆90Updated last year
• quarkslab / quokka
  Quokka: A Fast and Accurate Binary Exporter
  ☆209Updated this week
• trailofbits / BTIGhidra
  Binary Type Inference Ghidra Plugin
  ☆168Updated 2 years ago
• mrphrazer / hitb2021ams_deobfuscation
  ☆72Updated 4 years ago
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 4 years ago
• DenuvoSoftwareSolutions / SiMBA
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆181Updated 2 years ago
• Vector35 / OpaquePredicatePatcher
  ☆69Updated last year
• jpleasu / ghidraal
  A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.
  ☆61Updated 4 years ago
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆168Updated 7 months ago
• airbus-seclab / AutoResolv
  ☆85Updated 3 years ago
• 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.
  ☆34Updated last year
• eset / stadeo
  Control-flow-flattening and string deobfuscator
  ☆160Updated 4 years ago
• 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
• elbee-cyber / RopView
  A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.
  ☆67Updated 8 months ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆38Updated 6 months ago