SoftwareSecurityLab / Heap-Overflow-Detection
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
☆23Updated 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
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Target components for kAFL/Nyx Fuzzer☆29Updated last month
- ☆37Updated 2 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- A list of data-only attacks☆19Updated this week
- ☆12Updated 2 years ago
- ☆24Updated last year
- ☆24Updated 2 years ago
- ☆15Updated 2 months ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆68Updated 7 months ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- ☆21Updated last year
- experiments for IJON☆12Updated 5 years ago
- ☆36Updated last year
- ☆21Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- WinAFL modified for RDP client fuzzing☆19Updated 2 years ago
- A collection of widely-fuzzed targets☆46Updated 5 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 last year
- Target components for kAFL/Nyx Fuzzer☆34Updated last year
- ☆18Updated last year
- Peripheral Transplantation to Rehost Embedded Linux kernels☆16Updated 3 years ago
- ☆13Updated 7 months ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- ☆14Updated 2 years ago
- A coverage-based software testing tool☆34Updated 4 years ago
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago
- Uncovering Container Confusion in the Linux Kernel☆43Updated last year