TY  - RPRT
TI  - A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions
AU  - Niels Dossche
AU  - Bert Abrath
AU  - Bart Coppens
PY  - 2024
UR  - https://arxiv.org/abs/2404.00350
ID  - 2404.00350
ER  -