aixcc-public / challenge-001-exemplar
Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please refer to resources inside of the competition environment)
☆53Updated last year
Alternatives and similar repositories for challenge-001-exemplar
Users that are interested in challenge-001-exemplar are comparing it to the libraries listed below
Sorting:
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆76Updated last month
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆95Updated last month
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆46Updated last year
- ☆59Updated this week
- ☆17Updated last year
- ☆26Updated last year
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆70Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- Symbolic Execution Over Processor Traces☆121Updated 9 months ago
- Coverage-guided Fuzzing as Online Stochastic Control☆51Updated 6 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 3 months ago
- Code and artifacts related to the Asia CCS 2022 paper☆36Updated 3 years ago
- ☆65Updated 8 years ago
- ☆34Updated 4 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- ☆20Updated last year
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- A collection of widely-fuzzed targets☆46Updated 5 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- ☆23Updated 3 weeks ago
- ☆24Updated 2 years ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆17Updated last year
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆35Updated 4 years ago
- ROSA: Finding Backdoors with Fuzzing☆22Updated 2 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆29Updated 4 years ago
- ☆22Updated 2 years ago
- Sys, but no longer in Haskell☆18Updated 3 years ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆64Updated 2 years ago
- User Guided API Misuse Detection☆29Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆45Updated 10 months ago