Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux

Explore a novel approach to balancing analysis time and bug detection in Linux kernel development. Learn about FiTx, a framework designed to generate daily development-friendly bug checkers focusing on well-known patterns. Discover how this computationally lightweight method identified 47 new bugs in Linux kernel version 5.15 within 2.5 hours, outperforming existing tools like Clang Static Analyzer and CppCheck. Understand the trade-offs between complex analysis and quick bug detection, and how FiTx aims to integrate seamlessly into developers' daily workflows. Gain insights into improving codebase health by focusing on less complex bug patterns without sacrificing development time.

USENIX ATC '24 - Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug...