Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language

Highlighted Publication

Check out our paper from ESEC/FSE 2021 that introduces a formal semantics of Linux’s Kconfig configuration specification language and a static analysis that find unmet dependency bugs, dozens of which we found and patched in the Linux source.

Publications

APPLeSEEd Lab

APPLeSEEd Lab

The Applied Programming Languages, Software Engineering, and Education (APPLeSEEd) Lab tackles problems in software, security, and systems and cultivates computational thinking.

People

fully responsive

CyberSP Cluster

The Cyber Security and Privacy (CyberSP) Cluster is a university-wide research cluster formed as part of the Faculty Cluster Initiative that focuses on security and privacy in cyberspace.

Homepage

Paul Gazzillo is an Assistant Professor of Computer Science at University of Central Florida. He received his PhD from NYU and previously worked as a Post-Doc at Yale and a Research Scholar at Stevens Institute. His research aims to make it easier to develop safe and secure software, and it spans program analysis, software engineering, and security. Projects include analysis of configurable software, side-channel attack detection, and corporate entity tracking. His work has been published in venues such as PLDI, ESEC/FSE, and ICSE and has been recognized with a DARPA Young Faculty Award, an NSF CAREER Award, and an ACM SIGPLAN Research Highlight.

News

Oct 2022
Our paper "Bringing Together Configuration Research: Towards a Common Ground" by Paul Gazzillo and Myra B. Cohen was accepted to Onward 2022 Essays!
Aug 2022
Sanan Hasanov and Austin Lee Davis have joined the lab!
Aug 2022
I am excited to be joining the program committee for PLDI 2023.!
Jun 2022
Necip and I gave a talk at the Open Source Summit North American (slides).
Jun 2022
Stephen Maldonado has joined the lab!
May 2022
Tsehai Boucaud has joined the lab!
May 2022
First LKML bug report after Intel 0-day integrated kismet (code, paper), our Kconfig dependency analyzer, into their test robot! Thanks to Intel 0-day for the collaboration and congratulations to all the students (Necip, Jeho, and Julian)!

See all news here.