Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables, and Label Variables

Abstract

The compilation of highly modular programs requires extensive interprocedural analysis in order to produce reasonable object code. Such analysis is greatly complicated when the source language contains such constructs as procedure variables and label variables.