AIxCC finals Tale of the tape

[carlospolop]

🤖 Automated Content Update

This PR was automatically generated by the HackTricks News Bot based on a technical blog post.

📝 Source Information

• Blog URL: https://blog.trailofbits.com/2025/08/07/aixcc-finals-tale-of-the-tape/
• Blog Title: AIxCC finals: Tale of the tape
• Suggested Section: generic-hacking/fuzzing-ai

🎯 Content Summary

DARPA AIxCC Finals Analysis

Trail of Bits analyzes the DARPA AIxCC finals, detailing how seven teams implemented cyber reasoning systems (CRSs) for automated vulnerability discovery, proof-of-vulnerability (PoV) generation, and patching. The teams fall into three camps: AI-enhanced traditional tools, AI-first with traditional validation, and hybrid AI/traditional systems.

Camp Categories

• AI-enhanced traditional tools
• 🔧 Technical Details

  LLM-based Seed Input Generation: Use LLMs to produce Python scripts that output semantically valid seed inputs targeting complex formats (e.g., SQL-injection strings, path-traversal payloads), which are incorporated into coverage-guided fuzzers’ corpus to trigger deeper code paths.

  
  

  Grammar Evolution Fuzzing: Automate generation and iterative refinement of input grammars via LLM prompt-driven transformations based on coverage feedback, enabling form...

  🤖 Agent Actions

  Added comprehensive AI-assisted fuzzing & automated vulnerability-discovery content:

  1. Created new page:
     • src/AI/AI-Assisted-Fuzzing-and-Vulnerability-Discovery.md
     – Covers LLM seed generators, grammar-evolution fuzzing, agent-based PoV creation, directed fuzzing with fine-tuned models, AI-guided patching (super-patches & speculative ratio).
     – Includes practical prompts, code snippets, workflow diagrams, and references.

  2. Updated src/AI/README.md
     – Added “AI-Assisted Fuzzing & Automated Vulnerability Discovery” section with reference link to the new page.

  No existing material overlapped with these techniques, so new structured content was necessary.

  ✅ Review Checklist

  • Content is technically accurate
  • Formatting follows HackTricks style guidelines
  • Links and references are working
  • Content adds educational value
  • No sensitive information is exposed

  ---

  This PR was automatically created by the HackTricks Feed Bot. Please review the changes carefully before merging.

  📚 Repository Maintenance

  • MD files processed: 866
  • MD files fixed: 2

  All .md files have been checked for proper formatting (headers, includes, etc.).

[carlospolop]

🔗 Additional Context

Original Blog Post: https://blog.trailofbits.com/2025/08/07/aixcc-finals-tale-of-the-tape/

Content Categories: Based on the analysis, this content was categorized under "generic-hacking/fuzzing-ai".

Repository Maintenance:

• MD Files Formatting: 866 files processed (2 files fixed)

Review Notes:

• This content was automatically processed and may require human review for accuracy
• Check that the placement within the repository structure is appropriate
• Verify that all technical details are correct and up-to-date
• All .md files have been checked for proper formatting (headers, includes, etc.)

Bot Version: HackTricks News Bot v1.0