Deep Learning 101, Taiwan’s pioneering and highest deep learning meetup, launched on 2016/11/11 @ 83F, Taipei 101

Logo TonTon
AI是一條孤獨且充滿惶恐及未知的旅程,花俏絢麗的收費課程或活動絕非通往成功的捷徑。
衷心感謝當時來自不同單位的AI同好參與者實名分享的寶貴經驗;如欲移除資訊還請告知。
TonTon Huang Ph.D. 發起,特別感謝時任職公司台灣雪豹科技無償贊助場地及茶水點心。
這裡不僅匯集了我們歷年的 Meetup 紀錄,更是 AI 演算法與開源資源匯整中心。
👉 查看 Deep Learning 101 歷年所有實體 Meetup 影像與逐字稿 📺

🔥 嚴選 (必讀)
🛠️ 工具、論文、趨勢、科普、踩坑
🛠️ 實戰工具 & Agent 框架
📝 論文快遞
📝 產業趨勢
🚧 踩坑指南 & 科普入門
🛡️ AIxCC 競賽

漏洞自動分析與修復Agent:Buttercup 如何打通檢索—分析—修補—驗證

同步匯整自 https://zread.ai/trailofbits/afc-buttercup 同步匯整自 trailofbits/afc-buttercup:包含 AIxCC 總決賽中提交的原始程式碼 同步匯整自 漏洞自動分析與修復Agent:Buttercup 如何打通檢索—分析—修補—驗證閉環

afc-buttercup 是 Trail of Bits 團隊為 AIxCC 總決賽(AFC)提交的開源版本。該系統將 AI 增強模糊測試、靜態分析(如 tree-sitter/CodeQuery)與一個創新的「多智能體補丁生成—驗證流水線」相整合。最終,afc-buttercup 斬獲 AIxCC 總決賽亞軍,並在 20 類 CWE 上實現了高準確度的漏洞發現與修復表現。


目錄

  1. Buttercup 核心:多智能體協作架構
  2. Agent 職責與工作流詳解
  3. 關鍵工作流程:自動修復的閉環實現
  4. 核心特性與總結

1. Buttercup 核心:多智能體協作架構

Buttercup 的自動化補丁流程並非單一模型,而是由多個各司其職的專職 Agent 協同運作,形成一條高內聚、低耦合的流水線。系統將複雜的補丁任務拆分為上下文檢索、根因分析、補丁生成、測試驗證和失敗反思等獨立環節。

2. Agent 職責與工作流詳解

系統的核心由七個主要的 Agent 組成,由 PatcherLeaderAgent 統一編排調度。

2.1 PatcherLeaderAgent (總控指揮官)

2.2 InputProcessingAgent (輸入預處理)

2.3 ContextRetrieverAgent (智能上下文補全器)

2.4 RootCauseAgent (漏洞根因分析)

2.5 SWEAgent (AI 開發工程師)

2.6 QEAgent (品質保障工程師)

2.7 ReflectionAgent (自適應反思與補救)

3. 關鍵工作流程:自動修復的閉環實現

Buttercup 的 Agent 協作形成了一個完整的「檢索-分析-修補-驗證-反思」閉環:

  1. 啟動與預處理 (InputProcessing): 初始化環境,準備 codequery 工具。
  2. 上下文檢索 (ContextRetriever): Berdasarkan get_initial_context 堆棧崩潰,獲取初始代碼上下文。
  3. 根因分析 (RootCause): RootCauseAgent 介入,使用 LLM 和工具集分析漏洞成因。
  4. 補丁生成 (SWEAgent): SWEAgent 制定 patch_strategy(包含 <full_description><summary>),然後 create_patch_node 生成補丁。
  5. 構建與驗證 (QEAgent): QEAgent 嘗試並行 build_patch_node
  6. 反思與閉環 (Reflection):
    • 若驗證成功: 流程結束。
    • 若驗D thất bại: ReflectionAgent 接管。它調用 LLM 分析失敗日誌 (_analyze_failure),並做出決策:是 ContextRetrieverAgent 補充上下文,還是 RootCauseAgent 重新分析,或是 SWEAgent 重新制定策略。

4. 核心特性與總結

afc-buttercup 是一個以多智能體和大模型為核心,兼具工程實用性與 AI 智能化的自動化安全補丁平台。

🤖
Deep Learning 101 小助手