UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel

1. FSE 20

   Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul Yu

   ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 20.

   pdf Tool paper 2023 Cyber Security CRA Capstone Poster

Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul Yu. "UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel." ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 20. (2020).