Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels

Published in In Proceedings of ACM CCS 2021., 2021