HackOvert / awesome-bugs
A collection of software bug types and articles showcasing the hunt for and exploitation of them.
☆20Updated 4 years ago
Alternatives and similar repositories for awesome-bugs:
Users that are interested in awesome-bugs are comparing it to the libraries listed below
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Linux kernel branches for confidential compute research☆17Updated 3 weeks ago
- Dr. Disassembler☆35Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated last year
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 5 years ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 2 years ago
- Binary Ninja Plugin for Generating Callgraphs☆17Updated 3 years ago
- AIL: The angr Intermediate Language.☆32Updated last week
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.☆31Updated 4 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆21Updated 9 months ago
- Naive Proof of Concept Crypter for GNU/Linux ELF64☆11Updated 7 years ago
- ☆20Updated 7 months ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Explanation and code to emulate and run a MIPS binary using Qiling framework. Also a detailed vulnerability writeup for a buffer overflow…☆32Updated 4 years ago
- ☆36Updated last year
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- A Linux x86/x86-64 tool to trace registers and memory regions.☆37Updated 2 years ago
- Superion Mutator for AFLPlusPlus☆31Updated last year
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- A fast execution trace symbolizer for Windows.☆130Updated 11 months ago
- Repo for fuzzing projects☆46Updated 4 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- Ghidra's development plugins, scripts, contributing. Presentation☆12Updated 4 years ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆31Updated 5 years ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆68Updated 7 months ago
- A introductory workshop to getting started with fuzzing using american fuzzy lop (AFL)☆22Updated 5 years ago
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆23Updated 2 years ago