extended static checking

Noun

uncountable

(software) A range of techniques used for statically checking the correctness of some program constraints.

Japanese Meaning

ソフトウェアのプログラム制約が正しく守られているかを、実行前に静的に検査するための一連の技法（手法）

The development team adopted extended static checking to detect subtle pointer errors before runtime.

開発チームは実行前に微妙なポインタのエラーを検出するために拡張静的解析手法を採用した。

Sense（1）

(software) A range of techniques used for statically checking the correctness of some program constraints.