Abstract:Data dependences are of critical importance in many software engineering activities. Due to the dynamic allocation mechanism, it is still difficult to extract them precisely for heap locations. This paper firstly proposes two notion of interstatement must aliases and then exploits these aliases in improving data dependence analysis for heap locations. We carry out a preliminary experiment on some programs, the result of which indicates that the new technique can effectively improve the precision of dependence analysis for heap locations with an endurable cost.

Interstatement Must Aliases for Data Dependence Analysis of Heap Locations