GSoC/GCI Archive
Google Summer of Code 2011 Jato VM

Bytecode verifier

by Theo Dzierzbicki for Jato VM

The aim of the project is to implement a bytecode verifier for the Jato VM. The role of a bytecode verifier is basically to make sure the code a VM is loading is not malicious by running checks on it.