Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel.

Jia-Ju Bai Julia Lawall Shi-Min Hu

Published in: ACM Trans. Comput. Syst. (2020)

Keyphrases

linux kernel
databases
automatic detection
false positives
detection algorithm
real world
detection accuracy
contextual information
object oriented
database systems
operating system
detection method
context aware
context sensitive
false alarms
case study
bug fix