ESC/Java2 ESC/Java2 is an Extended Static Checker for Java
Download

ESC/Java2 Ranking & Summary

ESC/Java2 Tags

check Java checker java checker runtime error finder static checker

ESC/Java2 Description

ESC/Java2 is an Extended Static Checker for Java The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations. Users can control the amount and kinds of checking that ESC/Java2 performs by annotating their programs with specially formatted comments called pragmas.ESC/Java2 is an Extended Static Checker for Java. It statically, automatically, and modularly detects common programming errors.ESC/Java2 is available in two forms:· ESC/Java2 is a command-line tool with a simple Swing GUI front-end.· ESC/Java2 is also an Eclipse 3.3 (Europa) plugin.NOTE: Free for non-commercial use.Requirements:· Java

ESC/Java2 Related Software