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 list of data-only attacks☆19Updated 2 weeks ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆29Updated last year
- Target components for kAFL/Nyx Fuzzer☆32Updated last month
- A collection of widely-fuzzed targets☆46Updated 6 years ago
- Blogpost about optimizing binary-only fuzzing with AFL++☆67Updated last year
- Target components for kAFL/Nyx Fuzzer☆35Updated last year
- NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)☆108Updated 3 years ago
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆81Updated 3 weeks ago
- a browser fuzzer☆40Updated last year
- Coverage-guided Fuzzing as Online Stochastic Control☆54Updated 9 months ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆91Updated 3 years ago
- ☆41Updated 2 years ago
- ☆75Updated 3 years ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year
- NDSS 2020 - HYPER-CUBE: High-Dimensional Hypervisor Fuzzing☆64Updated 2 years ago
- Symbolic Execution Over Processor Traces☆122Updated last year
- RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections☆63Updated last year
- Accelerated execution for fast Windows fuzzing☆24Updated 7 months ago
- A hacky tool for analysing linux kernel commits☆37Updated 2 years ago
- kAFL Fuzzer☆34Updated 5 months ago
- ☆38Updated last year
- ☆42Updated 2 months ago
- ☆16Updated 6 months ago
- Practical Data-Only Attack Generation☆41Updated last year
- Peripheral Transplantation to Rehost Embedded Linux kernels☆16Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆69Updated 11 months ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆56Updated 3 years ago
- ☆39Updated 2 years ago
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆156Updated 6 months ago