UBITect: A Precise and Scalable Method to Detect Use-before-Initialization Bugs in Linux Kernel
Published in ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 20, 2020
Authors: Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul Yu
Venue: ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 20
Year: 2020
| 🐙 Tool | 🔗 Publisher |
Awards & Recognitions:
🏆 2023 Cyber Security CRA Capstone Poster
Recommended citation: 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).
Download Paper