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
  ☆76Updated 2 years ago
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 3 years ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆112Updated last month
• WorksButNotTested / lightkeeper
  ☆59Updated last week
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 3 years ago
• mrphrazer / hitb2021ams_deobfuscation
  ☆72Updated 3 years ago
• binsync / libbs
  A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!
  ☆75Updated this week
• FernandoDoming / r2diaphora
  Port of the binary diffing library, diaphora, for radare2 and mariadb
  ☆49Updated last year
• binarly-io / idapcode
  IDA plugin displaying the P-Code for the current function
  ☆65Updated last year
• 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
  ☆42Updated last year
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆45Updated 2 years ago
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆64Updated 3 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆82Updated last year
• DenuvoSoftwareSolutions / SiMBA
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆152Updated last year
• TheRomanXpl0it / ghidra-emu-fun
  Ghidra Emulates Functions
  ☆54Updated 4 years ago
• riverloopsec / ninjadiff
  NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!
  ☆60Updated 3 years ago
• Vector35 / OpaquePredicatePatcher
  ☆63Updated 2 months ago
• PistonMiner / binaryninja-bindiff-viewer
  ☆74Updated 2 years ago
• softsec-unh / MBA-Solver
  ☆40Updated 3 years ago
• RolfRolles / Miscellaneous
  Small programs and scripts that do not require their own repositories
  ☆132Updated 2 years ago
• arnaugamez / talks
  Slides, recordings and materials of my public presentations, talks and workshops.
  ☆74Updated 4 months ago
• softsec-unh / MBA-Blast
  MBA-Blast is a tool for simplification of MBA expressions.
  ☆62Updated 3 years ago
• zxgio / ghidra_stack_strings
  A script to detect stack-strings by using emulation (leveraging Unicorn)
  ☆35Updated last year
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• rizinorg / sigdb
  Rizin FLIRT Signature Database
  ☆38Updated last year
• GrammaTech / retypd
  ☆69Updated last year
• deadeert / EWS
  Emulation Wrapper Solution is a IDA Pro plugin that brings emulator capacities to provide features such as debugging an mocking.
  ☆19Updated last year
• mrphrazer / ghidra_scripts
  Ghidra RE scripts
  ☆38Updated 3 years ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆35Updated 3 months ago