Interprocedural program analysis for modern object-oriented languages

程序分析是一种证明程序执行时可能行为的性质的技术。它被用于软件开发工具，如编译器，验证和测试工具，以及程序可视化工具。当应用于面向对象程序时，程序分析是具有挑战性的，因为这些程序被划分为许多小方法。程序的整体行为很难孤立地从单个方法预测，因为它依赖于所有方法的集合。理论上已知的许多现有的程序分析都依赖于一个通常不切实际的假设，即所有的方法（整个程序）都可用于分析。本研究的目标是设计出本质上不受这种假设约束的程序分析，以便它们能用于实际的编程工具。这项研究将使许多在理论环境中被发现有效的分析技术转移到主流编程工具中，从而提高这些工具的有效性。这项研究的结果将对其他研究人员和软件开发人员都有帮助。基础的过程分析将使研究人员能够研究过程间分析的新应用。它们还将使商业编程工具制造商（例如，IBM多伦多）制造更好的工具，这将提高所有使用这些工具的软件开发人员的生产力。

Program analysis is a technique for proving properties of the possiblebehaviour of programs when they are executed. It is used in softwaredevelopment tools such as compilers, verification and testing tools, andprogram visualization tools.When applied to object-oriented programs, program analysis ischallenging because these programs are divided into many small methods.The overall behaviour of the program is difficult to predict fromindividual methods in isolation, because it depends on all of themethods collectively. Many existing program analyses that are known intheory depend on the often practically unrealistic assumption that allof the methods (the whole program) are available for analysis.The goal of the proposed research is to devise program analyses thatare intrinsically free of this assumption, so that they can be used inpractical programming tools. The proposed research will enable manyanalysis techniques that have been found effective in theoreticalsettings to be transferred to mainstream programming tools, thusimproving the effectiveness of those tools.The outcomes of the proposed research will be useful both to otherresearchers and to software developers. The foundational programanalyses will enable researchers to study new applications ofinterprocedural analysis. They will also enable commercial programmingtool makers (e.g., IBM Toronto) to make better tools, which will improvethe productivity of all software developers that use the tools.