Download List

Projeto Descrição

Kacheck/J is an encapsulation checker for Java. It infers which types are confined according to the definition given in Encapsulating Objects with Confined Types. 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.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2005-12-14 14:08
5.0

Esta versão adiciona suporte para o "@" meta-Confinados anotações de dados. Essas anotações podem agora ser verificado estaticamente ou adicionados automaticamente os arquivos de classe por Kacheck / J. Kacheck / J exige agora e suporta Java 5.0.
Tags: Major feature enhancements
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.

2004-07-06 22:42
3.1.0

Este lançamento é mais uma actualização do quadro de apoio Kacheck / J, resultando em simples código. Algumas opções foram adicionadas.
Tags: Code cleanup
This release is mostly an update of the framework supporting Kacheck/J, resulting in simpler code. Some options were added.

2003-02-27 05:03
3.0.1

O desempenho do analisador foi melhorada em 30%. Um erro no processamento de manipuladores de exceção foi corrigido. O roteiro começa no RPM foi corrigido.
Tags: Minor bugfixes
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.

2003-01-11 03:23
3.0.0

Os mortos capacidade de eliminação de código do Java Access Modifier Inference Tool (Jamit) agora pode ser usado por Kacheck / J. Vários pequenos bugs foram corrigidos e foi feita a análise mais precisa. A saída de violações de confinamento foi feito mais preciso e detalhado. Em especial, agora contém a posição exata ea instrução em que ocorreu a violação.
Tags: Initial freshmeat announcement
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.

Project Resources