ESC/Java2 2.0b3 - Java Forums

Main Menu

Home
Today's Posts
FAQ
Search
Contact Us

Java Network

Java Tips
Java Tips Blog

Sponsored Links

Welcome to the Java Forums.

You are currently viewing our boards as a guest which gives you limited access to view most discussions and access our other features. By joining our free community, you will:

have access to post topics
communicate privately with other members (PM)
not see advertisements between posts
have the possibility to earn one of our surprises if you are an active member
access many other special features that will be introduced later.

Registration is fast, simple and absolutely free so please, join our community today!

If you have any problems with the registration process or your account login, please contact us.

LinkBack

Thread Tools

Display Modes

#1 (permalink)

11-08-2007, 05:31 PM

JavaBean

Moderator

Join Date: May 2007

Posts: 1,272

ESC/Java2 2.0b3

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. It reasons about Java programs that have (optional) annotations written in JML.

Changes

This release has moved from a CVS/GForge repository to a Subversion/Trac repository, and the makefiles and shell scripts have been updated to reflect this. Java 1.5 bytecode parsing for inner class files has been improved.

URL: KindSoftware: ESC/Java2

Sponsored Links

« beaTunes 1.2.4 | eHour 0.7 »

Thread Tools
Show Printable Version Email this Page
Display Modes
Linear Mode Switch to Hybrid Mode Switch to Threaded Mode

Posting Rules
You may not post new threads You may not post replies You may not post attachments You may not edit your posts vB code is On Smilies are On [IMG] code is On HTML code is Off Trackbacks are On Pingbacks are On Refbacks are On

All times are GMT +3. The time now is 11:42 AM.