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:
KUBO,一个可扩展性和精度兼备的Linux内核Undefined Behavior静态检测工具
Paper Slides