YoVDO

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

Offered By: USENIX via YouTube

Tags

Software Testing Courses Software Development Courses Linux Courses Code Quality Courses Static Analysis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Software as a Service
University of California, Berkeley via Coursera Software Testing
University of Utah via Udacity The Hardware/Software Interface
University of Washington via Coursera Software Debugging
Saarland University via Udacity Introduction to Systematic Program Design - Part 1
The University of British Columbia via Coursera