extended static checking

Noun

 * 1)  A range of techniques used for statically checking the correctness of some program constraints.