Online Verification of Offline Escape Analysis
Michael M. Franz, Vivek Haldar, Chandra Krintz, Christian H. Stork · 2002
Dynamic compilation often comes at the price of reduced code quality since there is not enough time available to perform expensive optimizations. One solution to this problem has been the addition of annotations by the code producer that enable an annotation-aware dynamic code generator on the code consumer's side to shortcut certain analysis and optimization steps. However, code annotation often creates a new problem in that most annotations are unsafe---if they become corrupted during transit, the safety of the target system is jeopardized.