Alternatives and similar repositories for SymbolicExecutionDemystified

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

• arnaugamez / talks
  Slides, recordings and materials of my public presentations, talks and workshops.
  ☆79Updated this week
• airbus-seclab / AutoResolv
  ☆84Updated 3 years ago
• saaramar / security_analysis_mte
  ☆48Updated 3 years ago
• chop-project / chop
  Binary exploitation by confusing the unwinder
  ☆66Updated 2 years ago
• ret2jazzy / ELFPatch
  A library for patching ELFs
  ☆57Updated 4 years ago
• binsec / xyntia
  Xyntia, the black-box deobfuscator
  ☆83Updated 2 weeks ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Updated 4 years ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆50Updated 2 years ago
• Martyx00 / CollaRE
  Multi-tool reverse engineering collaboration solution.
  ☆142Updated last year
• yrp604 / bochscpu
  ☆81Updated 5 months ago
• zxgio / ghidra_stack_strings
  A script to detect stack-strings by using emulation (leveraging Unicorn)
  ☆35Updated 2 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆81Updated 3 years ago
• WorksButNotTested / lightkeeper
  ☆68Updated 8 months ago
• binarly-io / Research_Publications
  ☆133Updated last month
• chompie1337 / Linux_LPE_io_uring_CVE-2021-41073
  ☆102Updated 3 years ago
• seal9055 / sfuzz
  High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques
  ☆153Updated last year
• hardik05 / winafl-harness
  harness for fuzzing with winafl. both public and my own which i have released.
  ☆58Updated 4 years ago
• yrp604 / bdump
  ☆50Updated 3 years ago
• farazsth98 / virtualbox-qemu-vuln-research-notes
  Vulnerability research notes for VirtualBox and QEMU. Contains debug environment setup notes, a PoC template, exploit primitive notes, an…
  ☆194Updated last year
• mrphrazer / hitb2021ams_deobfuscation
  ☆72Updated 4 years ago
• thezdi / binaryninja
  binary ninja related code
  ☆37Updated 7 months ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• Kharos102 / kafl.targets
  Target components for kAFL/Nyx Fuzzer
  ☆35Updated last year
• hardik05 / Conferences
  My conference presentations and Materials for them.
  ☆32Updated 3 years ago
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆165Updated 4 months ago
• d4em0n / exrop
  Automatic ROPChain Generation
  ☆294Updated 5 years ago
• MaherAzzouzi / LinuxKernel-nday
  Linux Kernel N-day Exploit/Analysis.
  ☆67Updated last year
• cmu-sei / kaiju
  CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- p…
  ☆134Updated 2 months ago
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 4 years ago
• 0vercl0k / fuzzing-ida75
  Repository of the findings found by wtf when fuzzing IDA75.
  ☆86Updated 4 years ago