Interprocedural program analysis for modern object-oriented languages

程序分析是一种用于证明程序在执行时的可能行为的性质的技术。它用于软件开发工具，如编译器、验证和测试工具以及程序可视化工具。当应用于面向对象的程序时，程序分析是具有挑战性的，因为这些程序被分成许多小方法。程序的整体行为很难从单独的方法中预测出来，因为它依赖于所有的方法。许多现有的程序分析在理论上是已知的，但往往依赖于这样一个不切实际的假设，即所有的方法(整个程序)都可用于分析。这项研究将使许多在理论环境中被发现有效的分析技术被转移到主流编程工具上，从而提高这些工具的有效性。基础性程序分析将使研究人员能够研究程序间分析的新应用。它们还将使商业编程工具制造商(例如IBM Toronto)能够制造更好的工具，这将提高所有使用这些工具的软件开发人员的生产率。

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.