Program Analysis for Safety Guarantees in a Java Virtual Machine Written in Java

Authors: Jan-Willem Maessen, Vivek Sarkar and David Grove
Citation: Workshop on Program Analysis for Software Tools and Engineering, June 18 - 19, 2001, Snowbird, UT USA

In this paper, we report on our experiences with guaranteeing GC-pointer safety when using unsafe low-level language extensions to implement a JVM in Java. We give an overview of the original unsafe language extensions that were defined for use by Jalapeño implementers, and introduce sanitized replacements that capture common idioms while also guaranteeing GC-pointer safety. We also outline some simple static and dynamic checks for correct usage of low-level operations, and examine how code containing low-level operations can be optimized correctly and effectively.

ACM Definitive Copy Preprint PDF

ACM - Copyright © 2001 by Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee.