Escape analysis for object-oriented languages | Synapse