The Aegis VM Project is an ongoing effort to develop a lightweight, secure virtual machine for executing Java bytecode. The VM is intended to be an extension framework for applications or devices that dynamically load and execute untrusted extensions. The Aegis VM will eventually feature a modular bytecode verification architecture, Proof Linking, which supports pluggable verification modules so that various static verification or analysis technologies can be integrated into the VM's dynamic linking process with minimal efforts. This benefit is achieved by allowing verification sessions to communicate with each other only through explicit formulation of proof obligations, the discharging of which is scheduled to happen at specific points of the dynamic linking process to protect the integrity of the VM. A generic framework for formulating, scheduling, and discharging proof obligations is built into the VM.
|Tags||Security Software Development Interpreters Libraries|
|Operating Systems||POSIX Linux|
Release Notes: This release supports all bytecode instructions, dynamic loading of native libraries, and interoperability with the 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. This release inaugurates the 0.1.x development cycle, which will focus on improving the usability and security of the VM.
Release Notes: 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. This is the last release in the 0.0.x development cycle.
Release Notes: Implemented support for arrays and strings.
No changes have been submitted for this release.