Completed
student members of project team
Class Central Classrooms beta
YouTube playlists curated by Class Central.
Classroom Contents
Finding Unmet Dependencies in Kconfig with the Kismet Static Analyzer
Automatically move to the next video in the Classroom when playback concludes
- 1 linux works on lots of devices
- 2 the kernel is ultra-configurable
- 3 configurability makes maintenance harder
- 4 there's about 15,000 configuration options
- 5 written in about 150,000 lines of Kconfig
- 6 what does the build system do?
- 7 our goal: automatically analyze the build system
- 8 today's focus: Kconfig's unmet dependency bugs
- 9 kconfig language example
- 10 the unmet dependency bug
- 11 an unmet dependency bug in the wild
- 12 we first model Kconfig in symbol logic
- 13 we check every select for an unmet dependency
- 14 experimental setup
- 15 precision (true positives)
- 16 recall (false negatives)
- 17 performance
- 18 impact
- 19 student members of project team
- 20 conclusion
