Mkcheck2: A highly efficient and accurate approach for build dependency verification

Before users can interact with computer software, its source code must be converted into executable binaries and software packages, a task handled by specialized tools known as build systems. Build systems are a fundamental component of modern software development. They have evolved into complex distributed systems that manage dependencies, optimize resources and ensure correctness across large-scale projects. Studies have shown that build maintenance can consume up to 27% of a developer's time in large projects.