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 3 weeks ago
• saaramar / security_analysis_mte
  ☆48Updated 3 years ago
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆45Updated 2 years ago
• airbus-seclab / AFLplusplus-blogpost
  Blogpost about optimizing binary-only fuzzing with AFL++
  ☆64Updated last year
• cve-north-stars / cve-north-stars.github.io
  Leveraging CVEs as North Stars in vulnerability discovery and comprehension.
  ☆64Updated last year
• airbus-seclab / AutoResolv
  ☆80Updated 2 years ago
• elbee-cyber / RopView
  A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.
  ☆58Updated 2 weeks ago
• WorksButNotTested / lightkeeper
  ☆61Updated last month
• hardik05 / Damn_Vulnerable_Kernel_Module
  Damn Vulenerable Kernel Module for kernel fuzzing
  ☆58Updated 6 months ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆51Updated last year
• fkie-cad / libdesock
  A de-socketing library for fuzzing.
  ☆145Updated last month
• hardik05 / winafl-harness
  harness for fuzzing with winafl. both public and my own which i have released.
  ☆57Updated 4 years ago
• isosceles-security / common-corpus
  Common Corpus is used to build coverage-minimized corpus data sets for fuzzing.
  ☆26Updated last year
• quarkslab / pastis
  PASTIS: Collaborative Fuzzing Framework
  ☆163Updated 8 months ago
• SmoothHacker / Tuscan-Leather
  Linux Kernel Snapshot Fuzzer using KVM
  ☆47Updated last year
• 0xdea / ghidra-scripts
  A collection of my Ghidra scripts to facilitate reverse engineering and vulnerability research.
  ☆251Updated 5 months ago
• Martyx00 / CollaRE
  Multi-tool reverse engineering collaboration solution.
  ☆138Updated last year
• SpiralBL0CK / Browser-Pwning-
  A proper well structured documentation for getting started with chrome pwning & v8 pwning
  ☆192Updated 2 years ago
• binarly-io / Research_Publications
  ☆125Updated last month
• yrp604 / bochscpu
  ☆80Updated 2 months ago
• 0xdea / weggli-patterns
  A collection of my weggli patterns to facilitate vulnerability research.
  ☆104Updated last year
• d4em0n / exrop
  Automatic ROPChain Generation
  ☆285Updated 5 years ago
• riverloopsec / ninjadiff
  NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!
  ☆63Updated 3 years ago
• drtychai / browser-exploitation
  A collection of curated resources and CVEs I use for research.
  ☆105Updated 3 years ago
• seal9055 / sfuzz
  High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques
  ☆152Updated last year
• 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…
  ☆186Updated last year
• binsec / xyntia
  Xyntia, the black-box deobfuscator
  ☆67Updated last month
• chompie1337 / Linux_LPE_io_uring_CVE-2021-41073
  ☆99Updated 3 years ago
• 0vercl0k / rp-bf.rs
  rp-bf: A library to bruteforce ROP gadgets by emulating a Windows user-mode crash-dump
  ☆114Updated 11 months ago