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
Sorting:
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Linux kernel branches for confidential compute research☆17Updated last month
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆31Updated 2 weeks ago
- AIL: The angr Intermediate Language.☆32Updated last week
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆25Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆32Updated 5 years ago
- Python interface for Binexport, the Bindiff export format☆16Updated this week
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆23Updated 2 years 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
- 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
- Dr. Disassembler☆35Updated 3 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- ☆31Updated 4 years ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- A system call interception tool☆57Updated 5 months ago
- Debugger and analyzer for ARM ELF executables.☆19Updated 2 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆17Updated 3 years ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆59Updated 4 years ago
- Ghidra's development plugins, scripts, contributing. Presentation☆12Updated 4 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Binary Ninja Plugin for Generating Callgraphs☆17Updated 3 years ago
- Superion Mutator for AFLPlusPlus☆31Updated last year
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- IDA Pro Python plugin to analyze and annotate Linux kernel alternatives☆23Updated 3 years ago
- Ditto.☆17Updated 4 years ago