Related Projects

Jamit

Jamit is the Java Access Modifier Inference Tool. Jamit can be used by Kacheck/J to tighen access modifiers, significantly increasing the number of types that can be classified as confined.

XTC

XTC is a framework for bytecode analysis and manipulation. XTC was used to implement Kacheck/J.

Other Related Projects

Optimistically Confined Types

In progress evaluation of confinment properties at run-time based upon snapshots of the heap.