DLOS: Effective Static Detection of Deadlocks in OS Kernels.

Jia-Ju Bai Tuo Li Shi-Min Hu

Published in: USENIX Annual Technical Conference (2022)

Keyphrases

automatic detection
false alarms
detection algorithm
neural network
object detection
false positives
search engine
computer vision
case study
operating system
detection method
detection rate
detection accuracy