ESC/Java

This is an old revision of this page, as edited by Thunderbrand (talk | contribs) at 19:12, 23 May 2005 (Stub-sorting. You can help!). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

ESC/Java is a programming tool that attempts to find common run-time errors in Java programs by static analysis of the program text. Users can control the amount and kinds of checking by annotating their programs with specially formatted comments or pragmas.