#dataflow analysis

从 Strix 到多 Agent 白盒扫描器：把代码证据、验证闭环和任务图做成一个系统

以 Strix 的开源实现为参照，拆解一个可落地的多 Agent 白盒扫描器：从代码索引、可达性与数据流，到 Agent 图编排、证据契约、低误报门控、沙箱验证、状态机和 CI 增量扫描。