ESC/Java (source code)

= ESC/Java
{wiki=ESC/Java}

ESC/Java is a program analysis tool used primarily for checking Java programs for potential errors or bugs. It stands for Extended Static Checker for Java.