待验证50% 置信事实精确时间

代码图谱（CPG）融合AST、CFG、PDG三种图结构，使数据流追踪可以跨越函数边界

1

来源数

50%

置信度

长期有效

时效性

2026/7/10

首次发现

来源

Security Swarm评测实践：用真实漏洞验证AI安全工具的真实能力

rss2026/7/1

相关事实

待验证CSP的经典求解方法包括回溯搜索、弧一致性算法（如AC-3）以及约束传播技术61% 相似待验证倒排乘积量化（IVFPQ）在PQ基础上引入倒排索引结构，通过聚类将向量库分区，将检索复杂度从线性降低至亚线性59% 相似待验证完整数据管线工程涵盖格式标准化、多模态标注（图像-文本对的CLIP评分、人工审核）以及数据血缘追踪57% 相似待验证编译器将类型依赖关系建模为有向图，通常采用深度优先搜索配合三色标记法来检测环的存在57% 相似待验证本地代码搜索层流程分五步：切分代码、双路搜索并行、进一步压缩、追踪调用关系、打分过滤54% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/462761

API

curl https://kongchang.com/api/v1/knowledge/claims/462761

MCP

get_claim(id=462761)