Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux
Offered By: USENIX via YouTube
Course Description
Overview
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.
Syllabus
USENIX ATC '24 - Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug...
Taught by
USENIX
Related Courses
Introduction to LinuxLinux Foundation via edX 操作系统原理（Operating Systems）
Peking University via Coursera Internet of Things: Setting Up Your DragonBoard™ Development Platform
University of California, San Diego via Coursera Information Security-3
Indian Institute of Technology Madras via Swayam Introduction to Embedded Systems Software and Development Environments
University of Colorado Boulder via Coursera