Deriving Escape Analysis by Abstract Interpretation