SoftwareSecurityLab / Heap-Overflow-Detection
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
☆19Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Heap-Overflow-Detection
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆23Updated 8 months ago
- ☆36Updated 2 years ago
- A list of data-only attacks☆19Updated 2 months ago
- Symbolic Execution Over Processor Traces☆116Updated 2 months ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- ROP Benchmark is a tool to compare ROP compilers☆38Updated last year
- Uncovering Container Confusion in the Linux Kernel☆43Updated 8 months ago
- A coverage-based software testing tool☆29Updated 3 years ago
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆67Updated last month
- ☆22Updated 2 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…☆13Updated last year
- a browser fuzzer☆28Updated 7 months ago
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆59Updated last week
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- ☆12Updated last month
- Target components for kAFL/Nyx Fuzzer☆26Updated 2 months ago
- RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections☆53Updated 6 months ago
- MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware☆22Updated 3 months ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆62Updated 2 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆69Updated last year
- A hacky tool for analysing linux kernel commits☆37Updated last year
- ☆33Updated 7 months ago
- ☆13Updated 3 years ago
- Practical Data-Only Attack Generation☆27Updated 5 months ago
- NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)☆96Updated 3 years ago
- ☆19Updated last month
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.☆29Updated 3 years ago
- An awesome list for Effective and Powerful harnesses for fuzzing using libfuzzer - fuzzers by Google☆73Updated 4 years ago