Open AccessDSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules
Author(s) -
Jia-Ju Bai,
Yuping Wang,
Julia Lawall,
Shi-Min Hu
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , concurrency , kernel (algebra) , context (archaeology) , static analysis , context switch , software bug , linux kernel , operating system , configfs , programming language , parallel computing , embedded system , software , paleontology , mathematics , combinatorics , biology