スタティックの検証は、次のようなプログラムユニット間のオブジェクト宣言の不一致を検出します。
次に、プロシージャー間の解析例を示します。
例: 引数の数の誤り
controlf.c ファイルには、次の関数宣言が含まれています。
controlf()
uloop2.c ファイルには、次のコードが含まれています。
65 fds = controlf( 1 ) ;
スタティックの検証機能で次のメッセージが発行されます。
uloop2.c(65): エラー #12020: [SV] "controlf" の呼び出しで、実引数の数 (1) と仮引数の数 (0) が一致しません。"controlf" はファイル:controlf.c、行:4 で定義されています。