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:
- Target components for kAFL/Nyx Fuzzer☆31Updated 3 months ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- Target components for kAFL/Nyx Fuzzer☆34Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆69Updated 10 months ago
- ☆37Updated last year
- WinAFL modified for RDP client fuzzing☆19Updated 2 years ago
- Practical Data-Only Attack Generation☆40Updated last year
- RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections☆60Updated last year
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆77Updated 2 months ago
- ☆14Updated 4 months ago
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago
- Uncovering Container Confusion in the Linux Kernel☆44Updated last year
- AngrPT recover the Windows Driver's DeviceIoControl Interface and Dependencies for getting higher coverage in Fuzzing Process.☆12Updated 2 weeks ago
- ☆33Updated 2 years ago
- ☆38Updated 2 years ago
- Static binary instrumentation for windows kernel drivers, to use with winafl☆75Updated 5 months ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)☆106Updated 3 years ago
- Blogpost about optimizing binary-only fuzzing with AFL++☆65Updated last year
- ☆48Updated 2 months ago
- Python bindings for BochsCPU☆36Updated last month
- harness for fuzzing with winafl. both public and my own which i have released.☆57Updated 4 years ago
- A coverage-based software testing tool☆34Updated 4 years ago
- kAFL Fuzzer☆33Updated 4 months ago
- A list of data-only attacks☆19Updated last month
- ☆12Updated 3 years ago
- Accelerated execution for fast Windows fuzzing☆22Updated 6 months ago
- Dynamic-Static binary instrumentation framework on top of GDB☆51Updated last year
- Binary exploitation by confusing the unwinder☆63Updated 2 years ago