エスケープ解析
オブジェクト指向プログラム言語では、動的コンパイラがエスケープ解析を行いうる特に有力な候補である。伝統的な静的コンパイルによるメソッドのオーバーライドでは、エスケープ解析が不可能な場合がある。あるメソッドが、ポインタをエスケープする別のバージョンのメソッドによりオーバーライドされる可能性があるためである。動的コンパイラはオーバーロードについての情報を元にエスケープ解析を行い、動的ローディングによってメソッドがオーバーライドされた場合には再度解析を実施することができる。
エスケープ解析は Java 言語により特に興味の対象となってきた。Java のヒープに限定したオブジェクトの割り当て、スレッドのサポート、Sun の HotSpot 動的コンパイラ、という組み合わせが、エスケープ解析に関連した最適化の有望なプラットフォームを作り出している。(Escape analysis in Java参照)。エスケープ解析は、Java Standard Edition 6 で実装されている。