|
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.
|
