Alternatives and similar repositories for symexec

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

• c01db33f / reil
  REIL translation library
  ☆36Updated 9 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• cosine0 / amphitrite
  Symbolic debugging tool using JonathanSalwan/Triton
  ☆25Updated 6 years ago
• kamou / pimp
  Triton based R2 plugin for concolic execution and total control
  ☆33Updated 6 years ago
• RUB-SysSec / EvilCoder
  Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016
  ☆46Updated 8 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 / libs2ecore
  S2E Core Engine Library
  ☆15Updated 5 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• FSecureLABS / avrop
  ROP based Movfuscator VM
  ☆28Updated 8 years ago
• airbus-seclab / elfesteem
  ELF/PE/Mach-O parsing library
  ☆50Updated last year
• gymgit / kernel-exploit-playground
  ☆14Updated 7 years ago
• zenhumany / hitcon2015
  Microsoft Edge MemGC Internals
  ☆17Updated 9 years ago
• macaron-et / wasabi-aeg
  Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.
  ☆35Updated 7 years ago
• sciencemanx / x86-analysis
  Static analysis tools for x86 assembly
  ☆13Updated 8 years ago
• jbremer / ssexy
  Translate regular Assembly into Extended Instructions
  ☆88Updated 12 years ago
• JeffJerseyCow / fuzzle
  A stateful fuzzing engine.
  ☆45Updated 6 years ago
• talos-vulndev / FuzzFlow
  ☆45Updated 7 years ago
• RobinKastberg / Recomp
  IDA recompiler
  ☆31Updated 10 years ago
• Frky / scat
  Dynamic analysis of binary programs to retrieve function-related information (arity, type of parameters, coupling).
  ☆67Updated 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).
  ☆34Updated 7 years ago
• rdbv / cisol
  Translator from asm to C, but not decompiler. Something between compiler and decompiler.
  ☆56Updated 3 years ago
• ax330d / ida_pdb_loader
  IDA PDB Loader
  ☆47Updated 6 years ago
• 0xbc / chiasm-shell
  Python-based interactive assembler/disassembler CLI, powered by Keystone/Capstone.
  ☆31Updated 8 years ago
• ohjeongwook / Publications
  ☆15Updated 5 years ago
• BinSigma / BinClone
  ☆28Updated 3 years ago
• paullj1 / W-SWFIT
  x64 Windows Software Fault Injection Tool
  ☆17Updated 7 years ago
• RolfRolles / wbDESHook
  DLL-injection based solution to Brecht Wyseur's wbDES challenge (based on SysK's Phrack article)
  ☆43Updated 7 years ago
• RolfRolles / SMTSample
  Course sample for SMT-Based Binary Program Analysis training class
  ☆31Updated 7 years ago
• nlitsme / idascripts
  IDApro idc and idapython script collection
  ☆28Updated 2 years ago
• S2E / libs2eplugins
  S2E plugins library
  ☆17Updated 5 years ago