Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
☆10Jul 6, 2023Updated 3 years ago
Alternatives and similar repositories for covering-input-structure
Users that are interested in covering-input-structure are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jun 8, 2021Updated 5 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆14Nov 11, 2022Updated 3 years ago
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆13Mar 6, 2024Updated 2 years ago
- ☆82Aug 20, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆11Nov 3, 2019Updated 6 years ago
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- ☆10Sep 24, 2019Updated 6 years ago
- [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing☆23Dec 3, 2024Updated last year
- 使用JAK包对KML文件解析☆10Dec 8, 2018Updated 7 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- The parser-directed Fuzzer☆40May 22, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- QuickPatch: A patching tool☆13Oct 20, 2019Updated 6 years ago
- ☆45Apr 12, 2022Updated 4 years ago
- Code from MSc thesis on combining learning and fuzzing☆20Jul 30, 2018Updated 8 years ago
- QEMU to drcov trace file☆12Nov 21, 2020Updated 5 years ago
- ☆15Jun 10, 2025Updated last year
- A fast binary coverage measurement tool based on AFL's Qemu mode☆32Jun 6, 2021Updated 5 years ago
- Synthesis API Refactor☆12May 17, 2022Updated 4 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13May 27, 2019Updated 7 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated 2 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆31Apr 7, 2019Updated 7 years ago
- A WebAssembly test case generator☆44Oct 21, 2020Updated 5 years ago
- MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware☆44Jul 1, 2026Updated last month
- ☆18Aug 7, 2020Updated 6 years ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Automated AI Model Metadata eXtractor - automatically extracts and infers AI model-related from software repositories☆12Sep 21, 2025Updated 11 months ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing☆14Dec 16, 2024Updated last year
- Fork of the SPMF Open-Source Data Mining Library from Prof. Philippe Fournier-Viger☆17Aug 21, 2026Updated last week
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- Java 代码解析 class 文件☆11Mar 1, 2018Updated 8 years ago
- A fuzzer. Work in progress!☆21Sep 8, 2017Updated 8 years ago