Alternatives and similar repositories for awesome-bugs

Users that are interested in awesome-bugs are comparing it to the libraries listed below

• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• ROPilicious / src
  This is the source of our Return Oriented Programming tool.
  ☆15Updated 5 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆46Updated last week
• AllsafeCyberSecurity / headless_scripts
  Headless Scripts for Ghidra's Headless Analyzer written in Python
  ☆32Updated 5 years ago
• kaist-hacking / HardsHeap
  HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
  ☆36Updated 3 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 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…
  ☆33Updated 4 years ago
• therealdreg / bochs_linux_kernel_debugging
  Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)
  ☆31Updated last year
• picoflamingo / pocrypt
  Naive Proof of Concept Crypter for GNU/Linux ELF64
  ☆11Updated 7 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last week
• IntelLabs / kafl.linux
  Linux kernel branches for confidential compute research
  ☆17Updated 2 months ago
• lifting-bits / dds
  Dr. Disassembler
  ☆35Updated 3 years ago
• vanhauser-thc / qemu_taint
  First level taint implementation with qemu for linux user mode
  ☆29Updated 4 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• suibex / donna
  Debugger and analyzer for ARM ELF executables.
  ☆19Updated 2 years ago
• establishingsecurity / trustzone-rootkit
  TrustZone or TreacheryZone? Giving a vendor more trust increases their power to abuse us surreptitiously.
  ☆14Updated 3 years ago
• gamozolabs / aflbench
  An AFL scaling benchmarking tool
  ☆18Updated 5 years ago
• bordig-f / angr-strategies
  A cheat sheet that summarises "strategies" (or techniques) to use with angr.
  ☆32Updated 4 years ago
• adrian-rt / superion-mutator
  Superion Mutator for AFLPlusPlus
  ☆31Updated last year
• rezer0dai / bananafzz
  Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented
  ☆60Updated 2 years ago
• hardik05 / winafl-harness
  harness for fuzzing with winafl. both public and my own which i have released.
  ☆57Updated 4 years ago
• archercreat / llvm_stuff
  LLVM based devirtualization PoC’s.
  ☆20Updated 3 years ago
• software-engineering-and-security / inspector-gadget
  Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…
  ☆25Updated 5 years ago
• 0vercl0k / symbolizer
  A fast execution trace symbolizer for Windows.
  ☆131Updated last year
• season-lab / ropdissector
  A framework for static analysis of ROP exploits and programs
  ☆40Updated 6 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago