Linked Presentation: A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel
