Xynth 0.7.91

Kacheck/J is an encapsulation checker for Java.
Kacheck/J is an encapsulation checker for Java. Xynth project is an portable and embedded interface between display hardware (the mouse, keyboard, and video displays) and the desktop environment that works on many hardware, including embedded devices.

Kacheck/J was developed using the XTC framework.

Objects of confined type do not escape their enclosing package. Confined types allow you to increase the modularization of your code.

Since objects of confined type to not escape their defining package, it is certain that no code outside of the package will directly depend on the interface or implementation of the confined type.

Kacheck/J allows you to analyze your code for confinement and can print a list of statements that lead to confinement violations. Confined types are also interesting from a security perspective since they can guarantee that access to certain data-structures is only possible for code in the same package.

Usage:

If called only with the path to the classes of the application, Kacheck/J will print the names of classes that are annoated to be @Confined but that are in violation of the rules for confinement. Kacheck/J will also list all of the classes that are confined but not annotated as such.

The option -dump=DIR can be used to output rewritten class files that contain the @Confined annotation for confined classes (classes that are not changed will not be written to DIR).

The option -verbose can be used to obtain statistics about the number of @Confined clases. The option -listall will cause Kacheck/J to print the names of all confined classes (whether they are annotated as such or not).

You should copy the code of @Confined into your source project if you want to use @Confined annotations. While Kacheck/J is released under the GPL, the @Confined annotation class is in the public domain (in other words, you can integrate it into any application under any license).

Requirements:

Java 1.5

What's New in This Release:

This version adds support for analyzing Java 5.0 bytecode.
It also adds a new option to verify @confined annotations that are possible in Java 5.0.
It is also possible to add @confined annotations automatically to class files using the new dump option (useful if other tools, static analyses or the VM can benefit from such annotations).
The code itself was cleaned up significantly and now requires Java 5.0 to compile.

last updated on:
December 14th, 2005, 23:26 GMT
price:
FREE!
homepage:
grothoff.org
license type:
GPL (GNU General Public License) 
developed by:
Christian Grothoff and Jan Vitek
category:
ROOT \ Utilities
Xynth
Download Button

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Rate it!

Add your review!

SUBMIT