Projects / The Aegis VM Project

The Aegis VM Project

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
Licenses
Operating Systems
Implementation

Recent releases

  •  12 Jun 2002 10:27

    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.

    •  23 Apr 2002 22:31

      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.

      •  13 Apr 2002 21:38

        Release Notes: Implemented support for arrays and strings.

        •  02 Mar 2002 01:15

          No changes have been submitted for this release.

          Screenshot

          Project Spotlight

          OpenStack4j

          A Fluent OpenStack client API for Java.

          Screenshot

          Project Spotlight

          TurnKey TWiki Appliance

          A TWiki appliance that is easy to use and lightweight.