Alternatives and similar repositories for symexec

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

• cosine0 / amphitrite
  Symbolic debugging tool using JonathanSalwan/Triton
  ☆25Updated 7 years ago
• c01db33f / reil
  REIL translation library
  ☆36Updated 9 years ago
• S2E / libs2ecore
  S2E Core Engine Library
  ☆15Updated 5 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• RUB-SysSec / EvilCoder
  Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016
  ☆46Updated 8 years ago
• farosato / angr-antievasion
  Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
  ☆35Updated 8 years ago
• kamou / pimp
  Triton based R2 plugin for concolic execution and total control
  ☆33Updated 6 years ago
• gymgit / kernel-exploit-playground
  ☆14Updated 7 years ago
• airbus-seclab / elfesteem
  ELF/PE/Mach-O parsing library
  ☆51Updated last year
• talos-vulndev / FuzzFlow
  ☆45Updated 7 years ago
• macaron-et / wasabi-aeg
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆34Updated 7 years ago
• rdbv / cisol
  Translator from asm to C, but not decompiler. Something between compiler and decompiler.
  ☆56Updated 4 years ago
• BinSigma / BinClone
  ☆27Updated 3 years ago
• Baoqi / uni-trace
  Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB
  ☆13Updated 11 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• Frky / scat
  Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).
  ☆69Updated 8 years ago
• SkyLined / mBugId
  Python module to detect, analyze and id application bugs
  ☆21Updated 5 months ago
• osirislab / dispatch
  Programmatic disassembly and patching
  ☆69Updated 8 years ago
• nlitsme / idascripts
  IDApro idc and idapython script collection
  ☆28Updated 2 years ago
• paulmehta / Ablation
  Augmenting Static Analysis Using Pintool: Ablation
  ☆39Updated 9 years ago
• TheEragon / TinyReturnFlowGuard
  Tiny project with that demonstrates how to enable Return Flow Guard
  ☆12Updated 8 years ago
• RobinKastberg / Recomp
  IDA recompiler
  ☆31Updated 10 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…
  ☆46Updated 11 years ago
• FSecureLABS / avrop
  ROP based Movfuscator VM
  ☆28Updated 8 years ago
• panda-re / symbll
  Symbolic execution for LLVM traces produced by PANDA
  ☆40Updated 6 years ago
• S2E / libs2e
  libs2e.so
  ☆19Updated 4 years ago
• Cr4sh / Code-coverage-analysis-tools
  Code coverage analysis tools for the PIN Toolkit
  ☆60Updated 12 years ago
• williballenthin / ida-settings
  Fetch and set configuration values from IDAPython scripts
  ☆24Updated this week
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• ChrisTheCoolHut / Easy-Pickings
  Automatic function exporting and linking for fuzzing cross-architecture binaries.
  ☆50Updated 7 years ago