Verifying data flow optimizations for just-in-time compilation
Vivek Haldar · 2002
Annotations are often added to mobile code to reduce the optimization burden of just-intime 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 computationintensive optimizations away from the code consumer towards the code producer. M/S MTV29-01