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
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• b09780978 / SEH_Fuzzer
  This is a fuzzer for Windows SEH buffer overflow.
  ☆15Updated 7 years ago
• pleed / pyqemu
  Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…
  ☆18Updated 12 years ago
• Thiefyface / Atrophy
  x86/64 Linux Debugger (written w/ python stdlib,ctypes/ptrace)
  ☆9Updated 7 years ago
• S2E / libs2ecore
  S2E Core Engine Library
  ☆15Updated 5 years ago
• Navidem / binarymutation
  The Binary Mutation code based on Uroboros
  ☆14Updated 6 years ago
• gast04 / CTF_ToolBox
  collection of used Tools for CTFs
  ☆15Updated 3 years ago
• bbsecxyz / EFI_Backdoor
  ☆17Updated 6 years ago
• c01db33f / reil
  REIL translation library
  ☆36Updated 8 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 7 years ago
• cosine0 / amphitrite
  Symbolic debugging tool using JonathanSalwan/Triton
  ☆25Updated 6 years ago
• jbrower95 / crop
  ROP Payload Compiler
  ☆11Updated 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
• macaron-et / wasabi-aeg
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆34Updated 6 years ago
• d00rt / easy_way_nymaim
  An IDA Pro script for creating a clearer idb for nymaim malware
  ☆10Updated 6 years ago
• andreatulimiero / PinCFGReconstructor
  Implementation trade-offs in using Intel Pin for instruction tracing of complex programs
  ☆15Updated 5 years ago
• mandiant / rvmi-kvm
  Linux-KVM with rVMI extensions
  ☆22Updated 7 years ago
• cloudburst / landfill
  python library for dumping a linux process from memory
  ☆34Updated 14 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• kongjiexi / Gray-Hacker
  ☆12Updated 7 years ago
• 0day1day / bap
  Binary Analysis Platform
  ☆73Updated 11 years ago
• koczkatamas / gdb-reattach-plugin
  GDB command for reattaching to the new instance of the process (help exploit development)
  ☆12Updated 8 years ago
• int0 / ltmdm64_poc
  ☆28Updated 7 years ago
• ehabhussein / ollydbg-binary-execution-visualizer
  reverse engineering, visual binary analysis
  ☆24Updated 8 years ago
• BinSigma / BinClone
  ☆27Updated 3 years ago
• polyverse / EnVisen
  ROP gadget finder and analysis in pure Javascript
  ☆29Updated 2 years ago
• FSecureLABS / avrop
  ROP based Movfuscator VM
  ☆28Updated 8 years ago
• tmr232 / Cute
  Cross-Qt compatibility module for IDAPython.
  ☆13Updated 5 years ago
• t00sh / elf-poison
  Proof Of Concept for inserting code in ELF binaries.
  ☆26Updated 11 years ago