早稻田大学推mkcheck2:eBPF加速构建依赖验证54倍 早稻田大学推mkcheck2,用eBPF加速构建依赖验证。该工具将分析开销降低99.7%,处理速度提升约54倍,使持续依赖性验证在Linux等支持eBPF的系统上变得切实可行。 软件 2026-09-25 18:57 5 阅读