YoVDO

Finding Unmet Dependencies in Kconfig with the Kismet Static Analyzer

Offered By: Linux Foundation via YouTube

Tags

Static Analysis Courses Kconfig Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the challenges of maintaining Linux's highly configurable kernel and learn about the Kismet Static Analyzer in this 25-minute conference talk. Dive into the complexities of managing approximately 15,000 configuration options across 150,000 lines of Kconfig. Understand the concept of unmet dependency bugs and how they affect the build system. Follow the speaker's approach to automatically analyzing the build system, focusing on modeling Kconfig in symbol logic and checking selects for unmet dependencies. Examine the experimental setup, including precision, recall, and performance metrics. Gain insights into the impact of this research and meet the student members of the project team. Conclude with a comprehensive understanding of how static analysis tools can improve Linux kernel configuration management.

Syllabus

linux works on lots of devices
the kernel is ultra-configurable
configurability makes maintenance harder
there's about 15,000 configuration options
written in about 150,000 lines of Kconfig
what does the build system do?
our goal: automatically analyze the build system
today's focus: Kconfig's unmet dependency bugs
kconfig language example
the unmet dependency bug
an unmet dependency bug in the wild
we first model Kconfig in symbol logic
we check every select for an unmet dependency
experimental setup
precision (true positives)
recall (false negatives)
performance
impact
student members of project team
conclusion


Taught by

Linux Foundation

Tags

Related Courses

What's New with U-Boot?
Linux Foundation via YouTube
Porting U-Boot and Linux on New ARM Boards - A Step-by-Step Guide
Linux Foundation via YouTube
How I Fell in Love with Zephyr - A System Architect's Tale
Linux Foundation via YouTube
Recent Advances in U-Boot
Linux Foundation via YouTube
The State of PTXdist - Overview and Development Tools
Linux Foundation via YouTube