Download Linnk AI
•
Autonomous Research Assistant
>
Sign In
insight
-
カーネル解析
カーネルのレースコンディションを検出するための文脈依存の外れ値ベースの静的解析
提案する静的解析手法は、フィールドアクセスに関するロック規則を推論し、それらの規則に基づいてコードを検査することで、カーネルのレースコンディションを検出する。
1