• Back to project

All releases of Kacheck/J

• 
• 5.0

• 
•  14 Dec 2005 05:08
• 

• Major feature enhancements

Release Notes: This release adds support for "@Confined" meta-data annotations. Such annotations can now be statically verified or automatically added to class files by Kacheck/J. Kacheck/J now requires and supports Java 5.0.

• 
• 3.1.0

• 
•  06 Jul 2004 13:42
• 

• Code cleanup

Release Notes: This release is mostly an update of the framework supporting Kacheck/J, resulting in simpler code. Some options were added.

• 
• 3.0.1

• 
•  26 Feb 2003 20:03
• 

• Minor bugfixes

Release Notes: The performance of the parser was improved by 30%. A minor bug in the processing of exception handlers was fixed. The start script in the RPM was fixed.

• 
• 3.0.0

• 
•  10 Jan 2003 18:23
• 

• Initial freshmeat announcement

Release Notes: The dead-code elimination capability of the Java Access Modifier Inference Tool (JAMIT) can now be used by Kacheck/J. Various small bugs were fixed and the analysis was made more precise. The output of confinement violations was made more precise and verbose. In particular, it now contains the exact position and instruction at which the violation occured.