Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers.

Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, Shi-Min Hu

Browse the full USENIX paper archive.