UBITect: A Precise and Scalable Method to Detect Use-Before-Initialization bugs in Linux Kernel

Published in In Proceedings of the 2020 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 20), Sacramento, CA., 2020