静的ドライバー検証ツールの規則

検証規則では、ドライバーとオペレーティング システムのカーネル インターフェイス間の適切な相互作用の要件を定義します。 この規則は、この目的のために Microsoft Research によって明示的に開発された単純な言語である、インターフェイス チェックの仕様言語 (SLIC) で記述されています。