Path-sensitive and alias-aware typestate analysis for detecting OS bugs.

Tuo Li, Jia-Ju Bai, Yulei Sui, Shi-Min Hu

Browse the full ASPLOS paper archive.