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.
  ☆75Updated 4 months ago
• zxgio / ghidra_stack_strings
  A script to detect stack-strings by using emulation (leveraging Unicorn)
  ☆35Updated last year
• saaramar / security_analysis_mte
  ☆48Updated 2 years ago
• WorksButNotTested / lightkeeper
  ☆59Updated last week
• SpiralBL0CK / Browser-Pwning-
  A proper well structured documentation for getting started with chrome pwning & v8 pwning
  ☆192Updated 2 years ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆51Updated last year
• Martyx00 / CollaRE
  Multi-tool reverse engineering collaboration solution.
  ☆138Updated 10 months ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• airbus-seclab / AutoResolv
  ☆80Updated 2 years ago
• binarly-io / Research_Publications
  ☆101Updated 4 months ago
• cve-north-stars / cve-north-stars.github.io
  Leveraging CVEs as North Stars in vulnerability discovery and comprehension.
  ☆64Updated 10 months ago
• hardik05 / winafl-harness
  harness for fuzzing with winafl. both public and my own which i have released.
  ☆53Updated 3 years ago
• elbee-cyber / RopView
  A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.
  ☆50Updated last week
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆45Updated 2 years ago
• yrp604 / bochscpu
  ☆77Updated 4 months ago
• 0xdea / weggli-patterns
  A collection of my weggli patterns to facilitate vulnerability research.
  ☆94Updated last year
• AFLplusplus / qemu-libafl-bridge
  A patched QEMU that exposes an interface for LibAFL-based fuzzers
  ☆72Updated this week
• quarkslab / pyrrha
  A tool for firmware cartography
  ☆146Updated last month
• 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…
  ☆182Updated 11 months ago
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆86Updated 3 years ago
• Martyx00 / ghinja
  Plugin to embed Ghidra Decompiler into Binary Ninja
  ☆96Updated 2 years ago
• fkie-cad / libdesock
  A de-socketing library for fuzzing.
  ☆140Updated this week
• chop-project / chop
  Binary exploitation by confusing the unwinder
  ☆59Updated last year
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆77Updated 2 years ago
• quarkslab / pastis
  PASTIS: Collaborative Fuzzing Framework
  ☆158Updated 5 months ago
• klecko / kvm-fuzz
  PoC of fuzzing closed-source userspace binaries with KVM
  ☆163Updated 9 months ago
• d4em0n / exrop
  Automatic ROPChain Generation
  ☆283Updated 4 years ago
• Bw3ll / JOP_ROCKET
  This framework enables user to discover JOP gagdets and can automate building a complete JOP chain to bypass DEP. JOP ROCKET is the ultim…
  ☆100Updated 5 months ago
• airbus-seclab / AFLplusplus-blogpost
  Blogpost about optimizing binary-only fuzzing with AFL++
  ☆63Updated last year
• 0vercl0k / zenith
  Zenith exploits a memory corruption vulnerability in the NetUSB driver to get remote-code execution on the TP-Link Archer C7 V5 router fo…
  ☆124Updated 2 years ago