Japanese computer scientists from Waseda University have developed mkcheck2, a new tool that dramatically accelerates software build dependency verification using eBPF-based system call tracing. Dependency specification management is a significant challenge in software development, accounting for more than half of all build errors in large projects, making this innovation particularly important for development teams working at scale.

The mkcheck2 tool reduces the overhead of dependency error detection by up to 99.7 percent compared to existing ptrace-based approaches whilst maintaining accuracy. Across a 300-project Make corpus, the incremental analysis technique lowered mean analysis time per commit from 1,267.49 seconds to just 23.56 seconds, making continuous dependency verification practical in real-world development environments. The eBPF approach executes tracing code directly in kernel space, avoiding the performance overhead of ptrace which requires process suspension and context switches. However, the technology is Linux-specific and still faces challenges with certain scenarios such as redundant dependencies, memory-mapped region tracking, and distributed build systems.