SoftwareSecurityLab / Heap-Overflow-DetectionLinks
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
☆22Updated 2 years ago
Alternatives and similar repositories for Heap-Overflow-Detection
Users that are interested in Heap-Overflow-Detection 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
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- ☆38Updated 2 years ago
- ☆14Updated 4 months ago
- A coverage-based software testing tool☆34Updated 4 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- A list of data-only attacks☆19Updated last week
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 4 years ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆69Updated 9 months ago
- Target components for kAFL/Nyx Fuzzer☆31Updated 2 months ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆17Updated 3 years ago
- ☆12Updated 3 years ago
- ☆43Updated last month
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆14Updated 2 years ago
- ☆24Updated last year
- Peripheral Transplantation to Rehost Embedded Linux kernels☆16Updated 3 years ago
- ☆24Updated 2 years ago
- Target components for kAFL/Nyx Fuzzer☆34Updated last year
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆60Updated 2 years ago
- Python interface for Binexport, the Bindiff export format☆17Updated 2 weeks ago
- RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections☆60Updated last year
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- ☆14Updated 3 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated last year
- winafl with mopt mutators and afl fast power schedulers.☆22Updated 4 months ago
- ☆36Updated last year
- 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
- a browser fuzzer☆37Updated last year
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago