CARDSHARK: Understanding and Stablizing Linux Kernel Concurrency Bugs Against the Odds.

Tianshuo Han Xiaorui Gong Jian Liu

Published in: USENIX Security Symposium (2024)

Keyphrases

linux kernel
software systems
source code
operating system
database systems
software engineering
open source
clone detection
software maintenance
high level
software development
data flow
software evolution
test cases
concurrent programming
root cause
metamodel
data sets
decision making