In this paper, we want to discuss the design thought and implement method of whole-program data flow analysis tool by the researching of interprocedural analysis technique. 论文旨在通过对过程间数据流分析技术的研究,探讨全程数据流分析工具的设计思想和实现方法。
We present some classical theories about interprocedural analysis and optimization, including call multigraph construction, inline substitution and procedure cloning, and interprocedural information ( side-effect summary sets, alias information and interprocedural constant ). 然后,我们对过程间分析和优化的一些经典的理论,包括调用图的构造,内联替换和过程克隆,过程间信息(副作用摘要集合,别名和过程间常量)作了介绍。
At present, the model and arithmetics of interprocedural analysis is still in discussing, and there is still not one concise, united, expressive interprocedural analysis model. 目前,过程间分析的模型和算法仍然在探讨之中,还没有针对过程间分析的一个简明、统一、表现力强的过程间分析问题模型。
Along with the more developed and effective methods of interprocedural analysis and optimization, there must be more compilers to be applied with these techniques. 随着更成熟和更有效的过程间分析和优化方法的出现,将会有更多的编译器采用这个技术。
By integrating information into traditional interprocedural analysis, the nesting type information of procedures is propagated along call graphs. 可以使得嵌套类型信息在过程调用图中进行传播。