Towards More Accurate Static Analysis for Taint-Style Bug Detection in Linux Kernel

Haonan Li, Hang Zhang 0012, Kexin Pei, Zhiyun Qian. Towards More Accurate Static Analysis for Taint-Style Bug Detection in Linux Kernel. In 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, Seoul, Korea, Republic of, November 16-20, 2025. pages 380-392, IEEE, 2025. [doi]

Abstract

Abstract is missing.