Extended-static-checking meaning

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