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
• gymgit / kernel-exploit-playground
  ☆14Updated 8 years ago
• c01db33f / reil
  REIL translation library
  ☆36Updated 9 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 12 years ago
• RUB-SysSec / EvilCoder
  Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016
  ☆46Updated 9 years ago
• kamou / pimp
  Triton based R2 plugin for concolic execution and total control
  ☆33Updated 7 years ago
• FSecureLABS / avrop
  ROP based Movfuscator VM
  ☆28Updated 9 years ago
• rdbv / cisol
  Translator from asm to C, but not decompiler. Something between compiler and decompiler.
  ☆56Updated 4 years ago
• S2E / libs2ecore
  S2E Core Engine Library
  ☆15Updated 6 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 5 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• RobinKastberg / Recomp
  IDA recompiler
  ☆31Updated 11 years ago
• b09780978 / SEH_Fuzzer
  This is a fuzzer for Windows SEH buffer overflow.
  ☆15Updated 8 years ago
• zenhumany / hitcon2015
  Microsoft Edge MemGC Internals
  ☆17Updated 10 years ago
• airbus-seclab / elfesteem
  ELF/PE/Mach-O parsing library
  ☆51Updated last year
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆45Updated 7 years ago
• RITC3 / RC3CTF-2016
  Writeups and solutions for RC3CTF 2016
  ☆14Updated 9 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
• nirizr / pytest-idapro
  A pytest module for The Interactive Disassembler and IDAPython; Record and Replay IDAPython API, execute inside IDA or use mockups of IDA…
  ☆47Updated 7 years ago
• ohjeongwook / Publications
  ☆15Updated 5 years ago
• sciencemanx / x86-analysis
  Static analysis tools for x86 assembly
  ☆13Updated 8 years ago
• sam-b / windows_syscalls_dumper
  A dirty IDAPython script to dump windows system call number/name pairs as JSON
  ☆36Updated 8 years ago
• Frky / scat
  Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).
  ☆69Updated 8 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
• nlitsme / idascripts
  IDApro idc and idapython script collection
  ☆28Updated 2 years ago
• macaron-et / wasabi-aeg
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆34Updated 7 years ago
• williballenthin / ida-settings
  Fetch and set configuration values for IDA Plugins
  ☆25Updated 2 months ago
• tandasat / cs_driver
  A sample project for using Capstone from a driver in Visual Studio 2015
  ☆36Updated 9 years ago
• CiscoCXSecurity / CVE-2015-5119_walkthrough
  Archive from the article CVE-2015-5119 Flash ByteArray UaF: A beginner's walkthrough
  ☆13Updated 10 years ago
• fdfalcon / frida-cfg-hook
  An instrumentation script based on Frida which leverages Control Flow Guard to intercept indirect calls in CFG-enabled Windows binaries.
  ☆30Updated 10 years ago