Alternatives and similar repositories for symexec:

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

• sciencemanx / x86-analysis
  Static analysis tools for x86 assembly
  ☆13Updated 8 years ago
• cosine0 / amphitrite
  Symbolic debugging tool using JonathanSalwan/Triton
  ☆25Updated 6 years ago
• b09780978 / SEH_Fuzzer
  This is a fuzzer for Windows SEH buffer overflow.
  ☆15Updated 7 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• S2E / libs2ecore
  S2E Core Engine Library
  ☆15Updated 5 years ago
• gast04 / CTF_ToolBox
  collection of used Tools for CTFs
  ☆15Updated 3 years ago
• MohamadMansouri / funcDiffEval
  Evaluating function diffing existing techniques
  ☆12Updated 6 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
• jbrower95 / crop
  ROP Payload Compiler
  ☆11Updated 7 years ago
• gymgit / kernel-exploit-playground
  ☆14Updated 7 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 7 years ago
• mandiant / rvmi-kvm
  Linux-KVM with rVMI extensions
  ☆22Updated 7 years ago
• adrianherrera / reil-parser
  Haskell parser for the REIL intermediate language (currently a work-in-progress)
  ☆11Updated 7 years ago
• williballenthin / ida-settings
  Fetch and set configuration values from IDAPython scripts
  ☆20Updated 4 years ago
• macaron-et / wasabi-aeg
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆34Updated 6 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• Thiefyface / Atrophy
  x86/64 Linux Debugger (written w/ python stdlib,ctypes/ptrace)
  ☆9Updated 7 years ago
• d00rt / easy_way_nymaim
  An IDA Pro script for creating a clearer idb for nymaim malware
  ☆10Updated 6 years ago
• tpltnt / libemu
  libemu – x86 Shellcode Emulation
  ☆9Updated 8 years ago
• lyvd / C2Ass
  A tiny tool to learn the assembly code
  ☆11Updated 8 years ago
• bbsecxyz / EFI_Backdoor
  ☆17Updated 6 years ago
• int0 / ltmdm64_poc
  ☆28Updated 7 years ago
• Navidem / binarymutation
  The Binary Mutation code based on Uroboros
  ☆14Updated 6 years ago
• FSecureLABS / avrop
  ROP based Movfuscator VM
  ☆28Updated 8 years ago
• paullj1 / W-SWFIT
  x64 Windows Software Fault Injection Tool
  ☆17Updated 7 years ago
• montyly / binnavi-gueb
  Version of Binnavi used for the thesis "Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free"
  ☆10Updated 6 years ago
• cloudburst / landfill
  python library for dumping a linux process from memory
  ☆34Updated 14 years ago
• cgio / invade
  A library for interacting with Windows process memory
  ☆7Updated 6 years ago
• S2E / libs2e
  libs2e.so
  ☆20Updated 4 years ago
• mechaphish / cgrex
  Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…
  ☆14Updated 8 years ago