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)
☆51Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for challenge-001-exemplar
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆37Updated last year
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆48Updated 6 months ago
- ☆37Updated 2 months ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆50Updated last month
- ☆23Updated 2 years ago
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset (ASE 2024 Demo)☆26Updated 3 weeks ago
- Coverage-guided Fuzzing as Online Stochastic Control☆38Updated 2 weeks ago
- ☆24Updated 9 months ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆14Updated last year
- GitHub Cloner & Compiler☆58Updated 3 years ago
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆22Updated 11 months ago
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆169Updated 2 months ago
- Large Commit Precise Vulnerability Dataset based on AOSP CVE☆59Updated last year
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated last year
- Evolving fuzzers with large language models☆16Updated 11 months ago
- A deep learning model for localizing bugs in C/C++ source code (USENIX'23)☆137Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 6 months ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆181Updated 2 years ago
- ☆15Updated 11 months ago
- ☆60Updated 7 years ago
- ☆60Updated 2 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆27Updated last year
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- ☆16Updated last month
- The source code (including datasets) of V1SCAN (USENIX Security 2023; will be uploaded).☆38Updated last year
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆45Updated last month
- ☆15Updated 3 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆23Updated 8 months ago
- MultiFuzz: A Multi-stream Fuzzer For Testing Monolithic Firmware☆22Updated 3 months ago