AIxCyberChallenge / sherpaLinks
Security Harness Engineering for Robust Program Analysis
☆84Updated 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☆154Updated last month
- ☆109Updated 3 weeks ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆72Updated last year
- ☆35Updated this week
- Common Corpus is used to build coverage-minimized corpus data sets for fuzzing.☆27Updated 2 years ago
- ☆381Updated last month
- [CCS'24] An LLM-based, fully automated fuzzing tool for option combination testing.☆87Updated 5 months ago
- ☆48Updated last year
- Buttercup CRS as submitted to the AIxCC Final Competition☆76Updated 2 months ago
- ☆33Updated 2 months ago
- PASTIS: Collaborative Fuzzing Framework☆162Updated last week
- Coverage-guided Fuzzing as Online Stochastic Control☆54Updated 10 months ago
- ☆132Updated last year
- ☆25Updated last year
- ☆79Updated last month
- CyberGym is a large-scale, high-quality cybersecurity evaluation framework designed to rigorously assess the capabilities of AI agents on…☆64Updated last month
- ☆75Updated 3 years ago
- A coverage-guided REST API fuzzer developed on top of LibAFL☆127Updated this week
- ☆17Updated 2 weeks ago
- An autonomous LLM-agent for large-scale, repository-level code auditing☆231Updated 2 months ago
- Practical Data-Only Attack Generation☆41Updated last year
- SAST + LLM Interprocedural Context Extractor☆110Updated last month
- ☆92Updated 2 years ago
- OGHarn: Oracle-guided Fuzzing Harness Generation☆44Updated last month
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆46Updated last year
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆187Updated last year
- ☆82Updated 4 months ago
- VulZoo: A Comprehensive Vulnerability Intelligence Dataset | ASE 2024 Demo☆62Updated 5 months ago
- Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…☆54Updated last year
- CodeQL queries developed by Trail of Bits☆118Updated last week