Alternatives and similar repositories for symx:

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

• c01db33f / reil
  REIL translation library
  ☆36Updated 9 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• c01db33f / concolica
  Python concolic execution framework for program analysis
  ☆66Updated 10 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• osirislab / imm-taint-trace
  Immunity Debugger Taint Tracer
  ☆20Updated 11 years ago
• awailly / nrop
  Automated Return-Oriented Programming Chaining
  ☆84Updated 8 years ago
• hotelzululima / insight
  A(nother) Binary Analysis Framework
  ☆30Updated 10 years ago
• feliam / pysmtlib
  A python layer to interface with several SMTLIBv2 enabled SMT solvers
  ☆16Updated 10 years ago
• dariosharp / SZpy
  Z3 Symbolic Execution python
  ☆28Updated 7 years ago
• Cr4sh / Code-coverage-analysis-tools
  Code coverage analysis tools for the PIN Toolkit
  ☆59Updated 11 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 9 years ago
• argp / bap
  Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.
  ☆33Updated 10 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆70Updated 7 years ago
• endeav0r / bt
  binary toolkit
  ☆12Updated 8 years ago
• Granary / granary2
  Dynamic binary translation framework for instrumenting x86-64 user space Linux programs
  ☆39Updated 6 years ago
• VectraThreatLab / ida2neo
  ☆14Updated 9 years ago
• maurer / symfuzz
  ☆63Updated 9 years ago
• nihilus / IDASimulator
  IDASimulator is a plugin that extends IDA's conditional breakpoint support, making it easy to augment / replace complex executable code i…
  ☆47Updated 10 years ago
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆32Updated 6 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆33Updated 4 years ago
• deroko / switch
  ☆25Updated 6 years ago
• programa-stic / ropc-llvm
  ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.
  ☆68Updated 11 years ago
• S2E / libs2e
  libs2e.so
  ☆20Updated 4 years ago
• jhector / breakout
  hacklu2014 x86_64 exploitation challenge using DWARF bytecode
  ☆22Updated 10 years ago
• mrmacete / r2scripts
  Collection of scripts for radare2
  ☆28Updated 6 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• zachriggle / functions
  Python repository containing parsed standard C library function and argument information
  ☆26Updated 6 years ago
• paulmehta / Ablation
  Augmenting Static Analysis Using Pintool: Ablation
  ☆39Updated 8 years ago
• Frky / scat
  Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).
  ☆67Updated 7 years ago
• Jacopo / elf_add_code
  Adds another code segment to an existing program. Experimental: can take in ELF-compiled stuff.
  ☆18Updated 9 years ago