The Aegis VM Project / News: Recent posts

The Aegis VM Project is an on-going effort to implement
a lightweight, secure virtual machine for executing Java
bytecode. It features a modular verification architecture,
Proof Linking, that supports Pluggable Verification Modules (PVMs).

This is release 0.2.0 of the aegisvm package. The main new feature
of this release is the Pluggable Verification Module (PVM) facility
as described in the author's PhD dissertation:... read more

This is release 0.1.1 of the aegisvm package. This release adds support for access control, loading constraints, and
Java 1.2-style native library loading. Some 100+ additional
JNI functions are implemented. As usual, there are bug
fixes, documentation improvements, and restructuring.

The package can be obtained at the following location:

http://prdownloads.sourceforge.net/aegisvm/aegisvm-0.1.1.tar.gz... read more

The Aegis VM Project is an on-going effort to implement
a lightweight, secure virtual machine for executing Java
bytecode. It will eventually feature a modular architecture,
Proof Linking, that supports pluggable verification modules.

This is release 0.1.0 of the aegisvm package. This release
supports all bytecode instructions, dynamic loading of
native libraries, and interoperability with GNU Classpath
class library. With a number of bugs fixed, the code base
cleaned up, and more internal documentation introduced,
this release is much more usable and hackable than
its predecessors.... read more

The Aegis VM Project is an on-going effort to implement
a lightweight, secure virtual machine for executing Java
bytecode. It will eventually feature a modular
architecture, Proof Linking, that supports pluggable
verification modules.

This is release 0.0.3 of the aegisvm package. This
release implements support for string internalization,
exception handling, stack tracing, user-defined class
loaders, and class unloading. Numerous bugs are fixed,
making this release much more robust than its predecessors.
Also, the VM is now ported to Solaris (SPARC) platforms.
Release 0.0.3 is the last one in the 0.0.x development
cycle.... read more

The Aegis VM Project is an on-going effort to implement a lightweight, secure virtual machine for executing Java bytecode. It features a modular architecture, Proof Linking, that supports pluggable verification modules.

This is release 0.0.2, a development release, of aegisvm. This release implements supports for arrays and strings.

This is release 0.0.1, the first development release, of aegisvm. This release implements a bare virtual machine for executing Java bytecode, with facilities including dynamic loading, support for bytecode instructions to handle int, long and reference types, garbage collection, and JNI support for embedding into user applications.

The package can be downloaded from the project
home page at http://aegisvm.sourceforge.net.... read more