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.
  ☆78Updated 2 months ago
• WorksButNotTested / lightkeeper
  ☆61Updated 3 months ago
• saaramar / security_analysis_mte
  ☆48Updated 3 years ago
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆46Updated 2 years ago
• cve-north-stars / cve-north-stars.github.io
  Leveraging CVEs as North Stars in vulnerability discovery and comprehension.
  ☆66Updated last year
• 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…
  ☆105Updated 9 months ago
• airbus-seclab / AutoResolv
  ☆82Updated 2 years ago
• ChrisTheCoolHut / Instruction-Stomp
  Cross-architecture instruction counting for CTF solving
  ☆47Updated 3 years ago
• drtychai / browser-exploitation
  A collection of curated resources and CVEs I use for research.
  ☆106Updated 3 years ago
• elbee-cyber / RopView
  A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.
  ☆61Updated 3 weeks ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆50Updated 4 years ago
• zxgio / ghidra_stack_strings
  A script to detect stack-strings by using emulation (leveraging Unicorn)
  ☆35Updated last year
• SmoothHacker / Tuscan-Leather
  Linux Kernel Snapshot Fuzzer using KVM
  ☆47Updated last year
• hardik05 / winafl-harness
  harness for fuzzing with winafl. both public and my own which i have released.
  ☆57Updated 4 years ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆52Updated last year
• d4em0n / exrop
  Automatic ROPChain Generation
  ☆287Updated 5 years ago
• user1342 / AutoCorpus
  AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.
  ☆70Updated last year
• klecko / kvm-fuzz
  PoC of fuzzing closed-source userspace binaries with KVM
  ☆165Updated last year
• airbus-seclab / AFLplusplus-blogpost
  Blogpost about optimizing binary-only fuzzing with AFL++
  ☆64Updated last year
• fkie-cad / libdesock
  A de-socketing library for fuzzing.
  ☆147Updated 2 months ago
• pietroborrello / raindrop
  This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …
  ☆62Updated 3 years ago
• isosceles-security / common-corpus
  Common Corpus is used to build coverage-minimized corpus data sets for fuzzing.
  ☆27Updated last year
• Martyx00 / CollaRE
  Multi-tool reverse engineering collaboration solution.
  ☆140Updated last year
• hardik05 / Damn_Vulnerable_Kernel_Module
  Damn Vulenerable Kernel Module for kernel fuzzing
  ☆60Updated 7 months ago
• 0xdea / ghidra-scripts
  A collection of my Ghidra scripts to facilitate reverse engineering and vulnerability research.
  ☆256Updated 6 months ago
• FernandoDoming / r2diaphora
  Port of the binary diffing library, diaphora, for radare2 and mariadb
  ☆51Updated last year
• 0xricksanchez / AFL_Runner
  Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more
  ☆63Updated last week
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆90Updated 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…
  ☆188Updated last year
• chop-project / chop
  Binary exploitation by confusing the unwinder
  ☆63Updated 2 years ago