Joe-E is a subset of the Java programming language designed to support programming according to object-capability discipline.

The language guarantees additional security properties by placing restrictions on Java code, but does not modify programs or change their meaning. This allows programmers' existing knowledge of Java to be applied and existing compilers, debuggers, and other tools to be used with Joe-E programs.

The Joe-E Verifier is implemented as an Eclipse plug-in.

It may be installed via Eclipse Update. The repository location is http://eclipse.joe-e.org.

You will also need the library and taming database, which can be downloaded here (see the links to the right).

More detailed info on getting started is available in the wiki.

Also available: further information on Joe-E, including background about the object-capability approach to security.

News: org.joe_e.taming JAR available

In order to run Joe-E code, you need a copy of the class org.joe_e.taming.Policy. A version for the default taming database is now available for download. If you have customized the taming database, you still have to generate a version using the interactive eclipse plugin (see GettingStarted for more info).

The "2.2.0a" version of the commandline tarball now includes this file; it is otherwise identical to the 2.2.0 version.

News: Joe-E 2.2 released!

Downloadable now from eclipse.joe-e.org; new library and taming database at the right.

Highlights:

• Now supports Eclipse 3.4 (Ganymede)
• Now available in a command-line version

To get the command-line version, you only need one download from this site! The commandline tarball should have everything you need. Just add a copy of Eclipse, configure a few paths in the shell script, and you should be good to go. See more on the command-line version.