DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules

Submitted by arnold on April 23, 2018 - 6:36 pm
TitleDSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules
Publication TypeConference Paper
Year of Publication2018
AuthorsBai J-J, Wang Y-P, Lawall J, Hu S-M
Conference Name2018 USENIX Annual Technical Conference (USENIX ATC 18)
Date Published07/2018
PublisherUSENIX Association
Conference LocationBoston, MA
ISBN Number978-1-939133-01-4
URLhttps://www.usenix.org/conference/atc18/presentation/bai