カーネルのレースコンディションを検出するための文脈依存の外れ値ベースの静的解析

提案する静的解析手法は、フィールドアクセスに関するロック規則を推論し、それらの規則に基づいてコードを検査することで、カーネルのレースコンディションを検出する。