Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs