ソフトウェアのテストツールの説明のうち，静的テストを支援する静的解析ツールのものはどれか。