#static-analysis

2bookmarks tagged with "static-analysis"

across 1 category: Information Security

• AIxCC Other Finalist Teams - Lacrosse & all_you_need_is_a_fuzzing_brain

  aicyberchallenge.com • Aug 9, 2025 • Information Security

  Two additional teams that qualified for AIxCC finals at DEF CON 33, each winning $2M for reaching the final round. Both teams built systems using fuzzing, static analysis, and LLM enhancements.

  [aixcc][darpa][crs][cyber-reasoning-system][lacrosse][all_you_need_is_a_fuzzing_brain][fuzzing][static-analysis][vulnerability-discovery][automated-patching][ai-security][llm][2025]

• Buttercup: Open-Source AI-Driven Cyber Reasoning System

  GitHub • Aug 9, 2025 • Information Security

  Trail of Bits' second-place winning CRS from DARPA's AI Cyber Challenge - an automated system for discovering and patching vulnerabilities in open-source software using AI-augmented fuzzing and multi-agent patch generation.

  [crs][cyber-reasoning-system][vulnerability-discovery][automated-patching][fuzzing][ai-security][darpa][aixcc][trail-of-bits][oss-fuzz][libfuzzer][jazzer][static-analysis][security-automation][open-source-security][vulnerability-research][multi-agent-systems][llm-security][code-analysis]