English Extended static checking Cited by user Cybercobra on 01 Sep 2010 Extended static checking (ESC) is a collective name for a range of techniques for statically checking the correctness of various program constraints.