Extended static checking

Extended static checking (ESC) is a programming technique used to analyze code for potential errors, inconsistencies, or violations of certain specifications at compile time, rather than at runtime. This approach extends traditional static analysis by incorporating additional forms of reasoning about program behavior, which can help catch more complex issues that simple syntax or type checks might miss.