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.
  ☆81Updated 2 months ago
• airbus-seclab / AutoResolv
  ☆85Updated 3 years ago
• saaramar / security_analysis_mte
  ☆50Updated 3 years ago
• ret2jazzy / ELFPatch
  A library for patching ELFs
  ☆61Updated 5 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆51Updated 4 years ago
• chop-project / chop
  Binary exploitation by confusing the unwinder
  ☆67Updated 2 years ago
• binsec / xyntia
  Xyntia, the black-box deobfuscator
  ☆84Updated last month
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 4 years ago
• Martyx00 / CollaRE
  Multi-tool reverse engineering collaboration solution.
  ☆143Updated last year
• hardik05 / winafl-harness
  harness for fuzzing with winafl. both public and my own which i have released.
  ☆58Updated 4 years ago
• zxgio / ghidra_stack_strings
  A script to detect stack-strings by using emulation (leveraging Unicorn)
  ☆35Updated last month
• tin-z / GDBleed
  Dynamic-Static binary instrumentation framework on top of GDB
  ☆50Updated 2 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆81Updated 3 years ago
• thezdi / binaryninja
  binary ninja related code
  ☆37Updated 9 months ago
• yrp604 / bdump
  ☆50Updated 3 years ago
• synacktiv / Weggli_rules_SSTIC2023
  ☆32Updated 2 years ago
• liba2k / Insomni-Hack-2022
  Breaking Secure Boot with SMM
  ☆41Updated 3 years ago
• binarly-io / Research_Publications
  ☆133Updated 3 months ago
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆47Updated 3 years ago
• nahueldsanchez / blogpost_qiling_dlink_1
  Explanation and code to emulate and run a MIPS binary using Qiling framework. Also a detailed vulnerability writeup for a buffer overflow…
  ☆36Updated 5 years ago
• yrp604 / bochscpu
  ☆81Updated 7 months ago
• interruptlabs / semgrep_bn
  Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.
  ☆33Updated 11 months ago
• synacktiv / CVE-2021-3492
  PoC for CVE-2021-3492 used at Pwn2Own 2021
  ☆42Updated 4 years ago
• threatrack / ghidra-patchdiff-correlator
  This project tries to provide additional Ghidra Version Tracking Correlators suitable for patch diffing.
  ☆92Updated 2 years ago
• elbee-cyber / RopView
  A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.
  ☆67Updated 8 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 …
  ☆64Updated 4 years ago
• rezer0dai / bananafzz
  Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented
  ☆59Updated 3 years ago
• MaherAzzouzi / LinuxKernel-nday
  Linux Kernel N-day Exploit/Analysis.
  ☆67Updated last year
• chompie1337 / Linux_LPE_io_uring_CVE-2021-41073
  ☆103Updated 3 years ago
• foundryzero / ghidra-deep-links
  A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…
  ☆42Updated 3 weeks ago