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)
☆52Updated 10 months ago
Alternatives and similar repositories for challenge-001-exemplar:
Users that are interested in challenge-001-exemplar are comparing it to the libraries listed below
- ☆48Updated 5 months ago
- Coverage-guided Fuzzing as Online Stochastic Control☆44Updated 3 months ago
- ☆23Updated 2 years ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆64Updated last month
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆38Updated last year
- ☆26Updated last year
- Practical Data-Only Attack Generation☆34Updated 8 months ago
- ☆16Updated last year
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆80Updated 2 months ago
- ☆82Updated 3 months ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 3 weeks ago
- ☆22Updated 5 months ago
- Symbolic Execution Over Processor Traces☆119Updated 6 months ago
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- A collection of widely-fuzzed targets☆45Updated 5 years ago
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset (ASE 2024 Demo)☆30Updated 3 months ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Updated 11 months ago
- GitHub Cloner & Compiler☆61Updated 3 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆28Updated 2 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆31Updated 9 months ago
- ☆72Updated 3 years ago
- Juliet C/C++ Dynamic Test Suite☆27Updated last year
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆61Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆54Updated 9 months ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Updated 3 years ago
- SecLLMHolmes is a generalized, fully automated, and scalable framework to systematically evaluate the performance (i.e., accuracy and rea…☆46Updated 3 months ago
- VFCFinder: Searching for the Missing Vulnerability Fixing Commits☆26Updated last year
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 4 months ago