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]

Authors

Haonan Li

This author has not been identified. Look up 'Haonan Li' in Google

Hang Zhang 0012

This author has not been identified. Look up 'Hang Zhang 0012' in Google

Kexin Pei

This author has not been identified. Look up 'Kexin Pei' in Google

Zhiyun Qian

This author has not been identified. Look up 'Zhiyun Qian' in Google