待验证50% 置信事实精确时间
静态分析指在不执行程序的前提下检查源码结构，而数据流分析追踪变量在赋值、传递、别名间的实际流向；trainlint 采用基于命名与调用顺序的模式匹配，属于最轻量的一档。
1
来源数
50%
置信度
长期有效
时效性
2026/11/6
首次发现
来源
涉及实体
相关事实
待验证静态分析是在不运行代码的前提下，通过分析源码或二进制中的模式来识别潜在缺陷，例如未校验的数组索引或不安全的字符串操作。79% 相似已验证静态分析指在不实际运行程序的情况下对其进行检查，与之对应的动态分析需要实际执行代码才能观测行为77% 相似待验证trainlint 检测的第一个规则是静态识别「先在全量数据上做预处理、再划分数据集」的模式（fit-before-split）。74% 相似待验证构建准确的代码依赖图谱需要结合静态分析(解析import语句、函数调用)和动态分析(运行时追踪实际执行路径)72% 相似待验证动态分析在程序实际运行时采集数据，能捕捉混淆代码解混淆后的真实逻辑，但受限于特定运行路径覆盖率有限72% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1142653API
curl https://kongchang.com/api/v1/knowledge/claims/1142653MCP
get_claim(id=1142653)