AxiomCode Graph 发布：用形式化方法为编码 Agent 构建代码知识图谱

AxiomCode 发布 AxiomCode Graph，为 AI 编码 Agent 构建代码知识图谱，用形式化方法解析函数调用关系，替代 grep 式搜索。在 748 个 Defects4J 缺陷上，它选出的测试覆盖 94.9% 缺陷的全部暴露测试，最佳 tree-sitter 方案为 61.5%，F1 为 72.4。