extended static checking

Noun

Meaning

extended static checking (uncountable)

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

Source: en.wiktionary.org