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

Submitted by jasmine@usenix.org on April 26, 2019 - 6:00 pm
TitleEffective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers
Publication TypeConference Paper
Year of Publication2019
AuthorsBai J-J, Lawall J, Chen Q-L, Hu S-M
Conference Name2019 USENIX Annual Technical Conference (USENIX ATC 19)
Date Published07/2019
PublisherUSENIX Association
Conference LocationRenton, WA
ISBN Number978-1-939133-03-8
URLhttps://www.usenix.org/conference/atc19/presentation/bai