extended static checking

From Wiktionary, the free dictionary