Interprocedural program analysis for modern object-oriented languages

程序分析是一种证明可能的属性的技术 程序在执行时的行为。它在软件中使用 编译器、验证和测试工具等开发工具，以及 程序可视化工具。 当应用于面向对象程序时，程序分析是 具有挑战性，因为这些程序被分成许多小方法。 很难从程序的总体行为中预测 单独的方法，因为它依赖于 方法集体使用。中已知的许多现有程序分析 理论依赖于一个往往不切实际的假设，即所有的 所有的方法(整个程序)都可用于分析。 拟议研究的目标是设计出程序分析， 本质上不受这一假设的影响，因此它们可以用于 实用的编程工具。拟议的研究将使许多 已被发现在理论上有效的分析技术 要转移到主流编程工具的设置，因此 提高这些工具的有效性。 拟议的研究结果将对其他 研究人员和软件开发人员。基础性计划 分析将使研究人员能够研究新的应用 程序间分析。它们还将使商业节目成为可能 工具制造商(例如IBM Toronto)制造更好的工具，这将会改进 所有使用这些工具的软件开发人员的工作效率。

Program analysis is a technique for proving properties of the possible behaviour of programs when they are executed. It is used in software development tools such as compilers, verification and testing tools, and program visualization tools. When applied to object-oriented programs, program analysis is challenging because these programs are divided into many small methods. The overall behaviour of the program is difficult to predict from individual methods in isolation, because it depends on all of the methods collectively. Many existing program analyses that are known in theory depend on the often practically unrealistic assumption that all of the methods (the whole program) are available for analysis. The goal of the proposed research is to devise program analyses that are intrinsically free of this assumption, so that they can be used in practical programming tools. The proposed research will enable many analysis techniques that have been found effective in theoretical settings to be transferred to mainstream programming tools, thus improving the effectiveness of those tools. The outcomes of the proposed research will be useful both to other researchers and to software developers. The foundational program analyses will enable researchers to study new applications of interprocedural analysis. They will also enable commercial programming tool makers (e.g., IBM Toronto) to make better tools, which will improve the productivity of all software developers that use the tools.