Flow-Sensitive Interprocedural Pointer Induced Alias Analysis
| Autor: | Ni, Lin-Pheng, 倪林峰 |
|---|---|
| Rok vydání: | 1996 |
| Druh dokumentu: | 學位論文 ; thesis |
| Popis: | 84 Optimizing and parallelizing compilers strongly depend on precise data flow analysis to generate efficient code.The precision of alias information is crucial to the precision of data flow analysis,especially in languages which support pointer data types.In this thesis,we introduce a flow-sensitive interprocedural analysis algorithm for the precise computation of all the alias relationships holding at each program point in a C program.The method we use to achieve high precision is to maintain the control flow information as complete as possible.To verify the precision of our algorithm,we have implemented the analysis algorithm and have performed a set of preliminary experiments. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|