AIxCyberChallenge / sherpaLinks
Security Harness Engineering for Robust Program Analysis
☆98Updated last month
Alternatives and similar repositories for sherpa
Users that are interested in sherpa are comparing it to the libraries listed below
Sorting:
- Public Source code Release of Theori's AIxCC AFC Submission☆170Updated 2 months ago
- Cyber Reasoning System (CRS) that autonomously discovered 28 security vulnerabilities—including six previously unknown zero-days—in real-…☆54Updated last week
- ☆116Updated last month
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year
- Buttercup CRS as submitted to the AIxCC Final Competition☆85Updated 3 months ago
- Common Corpus is used to build coverage-minimized corpus data sets for fuzzing.☆27Updated 2 years ago
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆91Updated 6 months ago
- SAST + LLM Interprocedural Context Extractor☆117Updated last month
- ☆426Updated last week
- PASTIS: Collaborative Fuzzing Framework☆162Updated last week
- ☆79Updated 2 months ago
- Coverage-guided Fuzzing as Online Stochastic Control☆54Updated 11 months ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆245Updated last week
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆58Updated last year
- ☆25Updated last year
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆46Updated last year
- ☆132Updated last year
- ☆33Updated 3 months ago
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆78Updated last week
- ARVO: an Atlas of Reproducible Vulnerabilities in Open source software.☆51Updated last week
- ☆86Updated 5 months ago
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset | ASE 2024 Demo☆65Updated 6 months ago
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆190Updated last year
- CodeQL queries developed by Trail of Bits☆129Updated last month
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆109Updated 6 months ago
- ☆76Updated 3 years ago
- ☆93Updated 2 years ago
- ☆21Updated last year
- Practical Data-Only Attack Generation☆43Updated last year
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆157Updated 8 months ago