Towards More Accurate Static Analysis for Taint-style Bug Detection in Linux Kernel (To appear)

Published in The 40th IEEE/ACM International Conference on Automated Software Engineering, 2025