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 last month
• saaramar / security_analysis_mte
  ☆48Updated 3 years ago
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆52Updated last year
• WorksButNotTested / lightkeeper
  ☆61Updated 2 months ago
• zxgio / ghidra_stack_strings
  A script to detect stack-strings by using emulation (leveraging Unicorn)
  ☆35Updated last year
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆45Updated 2 years ago
• seal9055 / sfuzz
  High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques
  ☆152Updated last year
• airbus-seclab / AFLplusplus-blogpost
  Blogpost about optimizing binary-only fuzzing with AFL++
  ☆64Updated last year
• 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…
  ☆186Updated last year
• d4em0n / exrop
  Automatic ROPChain Generation
  ☆285Updated 5 years ago
• elbee-cyber / RopView
  A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.
  ☆60Updated last month
• SmoothHacker / Tuscan-Leather
  Linux Kernel Snapshot Fuzzer using KVM
  ☆47Updated last year
• 0xdea / weggli-patterns
  A collection of my weggli patterns to facilitate vulnerability research.
  ☆106Updated last year
• airbus-seclab / AutoResolv
  ☆81Updated 2 years ago
• nccgroup / ghostrings
  Ghidra scripts for recovering string definitions in Go binaries
  ☆111Updated 6 months ago
• Martyx00 / ghinja
  Plugin to embed Ghidra Decompiler into Binary Ninja
  ☆96Updated 2 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆50Updated 4 years ago
• cve-north-stars / cve-north-stars.github.io
  Leveraging CVEs as North Stars in vulnerability discovery and comprehension.
  ☆64Updated last year
• chompie1337 / kernel_obj_finder
  Simple script to find kernel objects of a certain size in the Linux kernel
  ☆109Updated 2 years ago
• virtualabs / piotr
  Piotr - IoT firmware emulation instrumentation for training and research
  ☆64Updated 2 years ago
• seeinglogic / ariadne
  Ariadne: Binary Ninja Graph Analysis Plugin
  ☆89Updated 3 months ago
• binarly-io / Research_Publications
  ☆128Updated last week
• 0vercl0k / pwn2own2023-miami
  Writeups, PoCs of the bugs I found while preparing for the Pwn2Own Miami 2023 contest targeting UaGateway from the OPC UA Server category…
  ☆60Updated last year
• Martyx00 / CollaRE
  Multi-tool reverse engineering collaboration solution.
  ☆140Updated last year
• MaherAzzouzi / LinuxKernel-nday
  Linux Kernel N-day Exploit/Analysis.
  ☆65Updated 6 months ago
• thebabush / nampa
  Nampa - FLIRT for (binary) ninjas
  ☆94Updated 4 months ago
• klecko / kvm-fuzz
  PoC of fuzzing closed-source userspace binaries with KVM
  ☆165Updated last year
• ret2jazzy / ELFPatch
  A library for patching ELFs
  ☆55Updated 4 years ago
• ChrisTheCoolHut / Instruction-Stomp
  Cross-architecture instruction counting for CTF solving
  ☆46Updated 3 years ago