Back To Schedule
Tuesday, October 27 • 18:30 - 19:20
When You Come to a Fork in the Road, Take It: Finding Configuration Constraints from Kconfig, Kbuild, and the C Preprocessor - Paul Gazzillo, University of Central Florida

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
The Linux kernel source has thousands of compile-time configurations that allow for an enormous number of variations of the kernel binary. This extreme configurability enables the same codebase to be used for everything from refrigerators to cars to supercomputers. But such configurability also brings unique challenges to development and maintenance. Unexpected combinations of configuration options can expose unknown security holes, the sheer number of kernel variations makes testing all impossible, and the languages used to implement configurability hinder source-code tools such as IDEs, bug-finders, and refactoring tools. This talk will go over the challenges of scaling to Linux's massive configuration system and my research on using program analysis techniques and automated tools to extract configuration constraints from Kconfig, Kbuild, and the C preprocessor. I will demonstrate a free and open-source tool, klocalizer, resulting from this research. Given source files, klocalizer generates valid Kconfig kernel configurations that include the given source. Finally, I will go over future work and potential applications to testing, bug-finding, and security.

avatar for Paul Gazzillo

Paul Gazzillo

Assistant professor, University of Central Florida
Paul Gazzillo is an Assistant Professor of Computer Science at University of Central Florida. His research aims to make it easier to develop safe and secure software, and it spans programming languages, security, software engineering, and systems. Projects include program analysis... Read More →

Tuesday October 27, 2020 18:30 - 19:20 GMT
Linux Systems Theater