JustIce (1.0 Pre 4)

JustIce is a classfile verifier including a bytecode verifier implemented by Enver Haase in 2001 using BCEL by Markus Dahm.

THIS PAGE IS NOW OBSOLETE AS JUSTICE IS NOW INTEGRATED INTO THE BCEL WHICH HAS MOVED TO JAKARTA.

Please send Enver a detailed description of how to produce the error if you find one (possibly including the offending .class file).

Screenshots

Online evaluation run

If you have a class file you'd like to run against JustIce, just put it somewhere on the web, enter its URL below and press the button to submit the URL. Currently, the online version works only correctly with "default package" class files. This is not the case with the normal version you can download below.

Browse documentation

JustIce is Open Source software. If the documentation is not clear enough about something, you may also look into the source code.

Read the report

Enver wrote a report on JustIce. He is keen to identify all the mistakes and omissions in that paper, even typographical or grammatical errors. Please write an electronic mail to him if you spotted something of interest.

If you do not know how to view documents in any of the above formats, download the .pdf version and get the Acrobat Reader program to display it.

Download and installation

JustIce needs a correctly installed BCEL (version 4.4.0 or higher) to work. The rest of the installation is straightforward, especially for you as a Java bytecode engineer.

If you want do get the very latest version, get it from the CVS repository:

cvs -d:pserver:anonymous@cvs.bcel.sourceforge.net:/cvsroot/bcel login 
cvs -d:pserver:anonymous@cvs.bcel.sourceforge.net:/cvsroot/bcel co JustIce

License

JustIce is brought to you under the GNU General Public License (version 2 or higher, at your option).
For other licensing models, please send your questions and offers to the authors.

[a bitmapped number]