scabench-org/hound

解決的問題

Hound 是一款自主 AI 審計工具，專為尋找程式碼庫中的安全漏洞而設計，特別針對智慧合約等中小型專案進行了優化。它以迭代式的代理流程取代人工安全審查，能夠跨子系統進行推理，從而發現複雜的跨組件漏洞。

運作原理

Hound 結合了「資深/資淺」代理模式與自適應知識圖譜。它首先構建面向方面的圖譜（例如架構、價值流）以理解系統。接著，它採用兩種審計模式：「掃描模式」(Sweep Mode) 用於系統性組件分析，以及「直覺模式」(Intuition Mode) 用於對貨幣流等高影響區域進行深入、有針對性的探索。

「偵察」(scout) 模型負責探索，而「策略」(strategist) 模型負責規劃與深度推理。系統維護一套信念與假設系統，透過證據導向的調查來追蹤並演進潛在漏洞的信心分數。最後，推理模型會審查所有假設，在生成專業的 HTML 報告與 PoC 提示之前確認或拒絕這些假設。

目標用戶

安全研究人員、智慧合約審計師以及需要自主掃描程式碼以查找關鍵漏洞並生成證據支持的安全報告的開發者。

特色亮點

• 圖譜驅動分析：構建靈活的、由代理設計的知識圖譜，以建模系統架構與邏輯。
• 信念與假設系統：透過信心分數追蹤觀察與假設，實現長遠的推理能力。
• 動態模型切換：透過使用輕量級模型進行偵察，並使用重量級模型進行策略規劃，優化成本與效能。
• 直覺引導搜尋：特別優先處理身份驗證繞過與狀態損壞等高風險區域。
• 互動式引導：包含一個聊天機器人遙測 UI，用於監控即時活動並即時引導代理的調查方向。