Statically Discovering High-Order Taint Style Vulnerabilities in OS Kernels
Published in Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021
we present SUTURE, a highly precise and scalable static analysis tool capable of discovering high-order vulnerabilities in OS kernels.
Download here