SoftwareSecurityLab / Heap-Overflow-DetectionLinks
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
☆22Updated 3 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:
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆30Updated last year
- A list of data-only attacks☆20Updated 4 months ago
- Target components for kAFL/Nyx Fuzzer☆34Updated 5 months ago
- Practical Data-Only Attack Generation☆44Updated last year
- a browser fuzzer☆46Updated last year
- A collection of widely-fuzzed targets☆46Updated 6 years ago
- Target components for kAFL/Nyx Fuzzer☆35Updated 2 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆58Updated last year
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆89Updated last week
- NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)☆109Updated 4 years ago
- Symbolic Execution Over Processor Traces☆126Updated last year
- ☆78Updated 3 years ago
- Blogpost about optimizing binary-only fuzzing with AFL++☆71Updated 2 years ago
- NDSS 2020 - HYPER-CUBE: High-Dimensional Hypervisor Fuzzing☆66Updated 2 years ago
- A tool for effective testing the binding layer of scripting languages☆79Updated 3 years ago
- kAFL Fuzzer☆34Updated 10 months ago
- ☆27Updated last year
- Peripheral Transplantation to Rehost Embedded Linux kernels☆16Updated 3 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Updated 4 years ago
- ☆48Updated 7 months ago
- ☆45Updated 3 years ago
- ☆67Updated 5 months ago
- ☆20Updated 10 months ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆59Updated 4 years ago
- ☆19Updated 7 months ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆74Updated last year
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Updated 3 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆73Updated 7 months ago
- ☆12Updated 3 years ago
- Accelerated execution for fast Windows fuzzing☆25Updated last year