KUBO: Precise and Scalable Detection of User-triggerable Undefined Behavior Bugs in OS Kernel
seminar @ Tencent Meeting, Tsinghua University, Beijing
Presenters: Bodong Zhao .
Date:
Abstract:
A novel static UB detector for Linux kernel, called KUBO which simultaneously achieves high precision and whole- kernel scalability