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 5 months ago
• saaramar / security_analysis_mte
  ☆48Updated 3 years ago
• WorksButNotTested / lightkeeper
  ☆60Updated 3 weeks ago
• cve-north-stars / cve-north-stars.github.io
  Leveraging CVEs as North Stars in vulnerability discovery and comprehension.
  ☆64Updated 11 months ago
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆45Updated 2 years ago
• elbee-cyber / RopView
  A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.
  ☆57Updated 2 weeks ago
• airbus-seclab / AutoResolv
  ☆80Updated 2 years ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆51Updated last year
• ChrisTheCoolHut / Instruction-Stomp
  Cross-architecture instruction counting for CTF solving
  ☆46Updated 3 years ago
• zxgio / ghidra_stack_strings
  A script to detect stack-strings by using emulation (leveraging Unicorn)
  ☆35Updated last year
• quarkslab / pyrrha
  A tool for firmware cartography
  ☆146Updated 3 months ago
• chompie1337 / kernel_obj_finder
  Simple script to find kernel objects of a certain size in the Linux kernel
  ☆108Updated 2 years ago
• airbus-seclab / AFLplusplus-blogpost
  Blogpost about optimizing binary-only fuzzing with AFL++
  ☆64Updated last year
• airbus-cyber / afl_ghidra_emu
  ☆186Updated 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.
  ☆141Updated last week
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• seal9055 / sfuzz
  High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques
  ☆151Updated last year
• 0xdea / weggli-patterns
  A collection of my weggli patterns to facilitate vulnerability research.
  ☆101Updated last year
• Martyx00 / CollaRE
  Multi-tool reverse engineering collaboration solution.
  ☆138Updated 11 months ago
• hardik05 / winafl-harness
  harness for fuzzing with winafl. both public and my own which i have released.
  ☆56Updated 4 years ago
• SmoothHacker / Tuscan-Leather
  Linux Kernel Snapshot Fuzzer using KVM
  ☆46Updated last year
• GoSecure / advanced-binary-analysis
  Materials for the Binary Analysis Workshop presented at NorthSec 2020
  ☆67Updated 3 years ago
• quarkslab / QBDL
  QuarkslaB Dynamic Linker library
  ☆80Updated 3 months ago
• posidron / dharma
  Generation-based, context-free grammar fuzzer.
  ☆52Updated 2 years ago
• SpiralBL0CK / Browser-Pwning-
  A proper well structured documentation for getting started with chrome pwning & v8 pwning
  ☆192Updated 2 years ago
• sar5430 / RizinLayout
  ☆28Updated 2 years ago
• PacktPublishing / Fuzzing-Against-the-Machine
  ☆78Updated 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…
  ☆102Updated 6 months ago
• externalist / presentations
  Some presentations I did in the past
  ☆64Updated last year