{
  "id": 9812167,
  "title": "New software dependency validation process increases speeds by 54x",
  "url": "https://urgent.news/2026/09/25/new-software-dependency-validation-process-increases-speeds-by-54x",
  "topic": "tech",
  "section": "Tech",
  "published": "2026-09-25T18:57:10.000Z",
  "source": {
    "name": "The Register Software",
    "slug": "the-register-software",
    "url": "https://www.theregister.com/software/2026/09/25/new-software-dependency-validation-process-increases-speeds-by-54x/5299256"
  },
  "original_language": "en",
  "account": "In a recent advancement, computer scientists from Waseda University in Japan have developed a novel software dependency validation process that can speed up build error detection by up to 99.7% compared to traditional methods. The researchers, Yuta Saito, Kazunori Sakamoto, and Hironori Washizaki, have created a tool called mkcheck2 which leverages extended Berkeley Packet Filter (eBPF)-based system call tracing to reduce the overhead and computational cost associated with verifying software build dependencies.\n\nExisting build systems such as Make, CMake, and the Zig build system automate the compilation of source code into executable programs, ensuring proper compilation order, object linking, reproducible rebuilds, and handling of platform-specific requirements. However, dependency specification management remains a significant challenge, causing over half of all build errors in large projects. The conventional ptrace-based tools impose substantial overhead, limiting their effectiveness in error detection.\n\nThe mkcheck2 tool, detailed in a paper titled \"Efficient Build Dependency Verification Using eBPF and Incremental Analysis\" published in the Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering, offers a solution. The researchers' evaluation on a diverse set of open-source projects showed that mkcheck2 can lower the mean analysis time per commit from 1267.49 seconds to just 23.56 seconds, resulting in a 54x increase in speed per commit. This incremental analysis technique maintains detection accuracy while providing a 99.7% reduction in overhead compared to ptrace-based approaches.\n\nThe eBPF-based system call tracer employed by mkcheck2 operates within the kernel, bypassing the performance limitations of ptrace, which requires process suspension and context switches for each system call. While the approach is currently Linux-specific and does not yet extend to other operating systems, it holds significant promise for reducing the overhead of dependency error detection in software development environments.",
  "summary": "Overhead reduced by as much as 99.7%",
  "key_points": [
    "Waseda University scientists develop mkcheck2 software tool",
    "mkcheck2 uses eBPF system call tracing to speed up validation",
    "54x increase in build error detection speed over traditional methods"
  ],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 2,
    "also_reported_by": [
      {
        "outlet": "The Register",
        "title": "New software dependency validation process increases speeds by 54x",
        "url": "https://urgent.news/2026/09/25/new-software-dependency-validation-process-increases-speeds-by-54x-9819842",
        "published": "2026-09-25T18:57:10.000Z"
      }
    ]
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}