Verifying Data Flow Optimizations for Just-in-Time Compilation

Author(s):
Vivek Haldar
Report Number:	Date Published:	Available Formats:
TR-2002-118	October 2002	Portable Document Format (PDF) Postscript (PS) Request Hard Copy
Abstract
Annotations are often added to mobile code to reduce the optimization burden of just-in-time compilers. However, these annotations are not checked for correctness and must be trusted--incorrect or malicious annotations could lead to the generation of incorrect or insecure code. We present a time- and space efficient method for verifying the results of the large class of data flow optimizations. This allows the safe movement of computation-intensive optimizations away from the code consumer towards the code producer.

Verifying Data Flow Optimizations for Just-in-Time Compilation