UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. - Zhai, Yizhuo; Hao, Yu; Zhang, Hang; Wang, Daimeng; Song, Chengyu; Qian, Zhiyun; Lesani, Mohsen; Krishnamurthy, Srikanth V.; Yu, Paul L. (2020)