Mkcheck2：一种高效准确的构建依赖验证方法

早稻田大学团队开发出构建依赖验证方法 mkcheck2，结合 eBPF 系统调用追踪与增量分析，在 300 个开源项目评估中将构建开销降低 99.7%（从平均 148.0% 降至 0.3%），每次提交平均分析时间从 1267.49 秒缩短至 23.56 秒。该方法检测缺失依赖准确率达 100%，冗余依赖准确率 92%，有望用于云与 AI 基础设施的持续集成验证。