Our lab has issued a press release titled “mkcheck2: A Highly Efficient and Accurate Approach for Build Dependency Verification,” based on the seminal work primarily led by Mr. Yuta Saito and Prof. Kazunori Sakamoto, presented at IEEE/ACM ICSE 2026.

Its implementation is available at https://github.com/katei-lab/mkcheck2 Take a look!

The proposed approach significantly reduces performance overhead, making continuous dependency verification in large-scale projects practical. Build systems are a fundamental component of modern software development. Dependency-related errors represent a significant portion of build errors in large-scale projects. However, existing tools for detecting these errors struggle to achieve both high performance and accuracy. In a new study, researchers developed mkcheck2, which reduces performance overhead by up to 99.7% while maintaining accuracy through an efficient eBPF-based system call tracing method and incremental analysis, thereby making continuous dependency verification practical.