出典:Wiktionary
出典:『Wiktionary』 (2016/12/23 22:54 UTC 版)
extended static checking (uncountable)
出典:Wikipedia
出典:『Wikipedia』 (2011/05/19 15:02 UTC 版)
Extended Static Checking (ESC) is a collective name for a range of techniques for statically checking the correctness of various program constraints. ESC can be thought of as an extended form of type checking. As with type checking, ESC is performed automatically at compile time (i.e. without human intervention). This distinguishes it from more general approaches to the formal verification of software, which typically rely on human-generated proofs. Furthermore, it promotes practicality over completeness, in that it aims to dramatically reduce the number of false positives (reported errors that are, in fact, not errors) at the cost of introducing some false negatives (real errors which are not reported). ESC can identify a range of errors which are currently outside the scope of a type checker, including division by zero, array out of bounds, integer overflow and null dereferences.