Digtool: A Virtualization-Based Framework for Detecting Kernel Vulnerabilities. - Jianfeng Pan; Guanglu Yan; Xiaocao Fan (USENIX Security Symposium, 2017)