Interprocedural program analysis for modern object-oriented languages

现代面向对象语言的过程间程序分析

• 批准号: RGPIN-2014-05645
• 负责人: Lhotak, Ondrej
• 金额: $ 3.93万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=588531
• 关键词: Interprocedural; program; analysis; modern; object

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.

程序分析是一种证明可能的 程序执行时的行为。它用于软件 开发工具，如编译器、验证和测试工具，以及 程序可视化工具。 当应用于面向对象程序时，程序分析是 因为这些程序被分成许多小的方法。 程序的整体行为很难从 单独的方法，因为它依赖于所有的 集体的方法。许多现有的程序分析， 理论依赖于通常实际上不切实际的假设， 的方法（整个程序）可供分析。 拟议研究的目标是设计方案分析， 本质上不受这种假设的限制，因此它们可以用于 实用的编程工具。这项研究将使许多 分析技术，已被发现有效的理论 将设置转移到主流编程工具，从而 提高这些工具的有效性。 拟议研究的结果将对其他人有用。 研究人员和软件开发人员。基础方案 分析将使研究人员能够研究新的应用， 过程间分析它们还将使商业节目成为可能 工具制造者（例如，IBM多伦多）制造更好的工具，这将改善 所有使用这些工具的软件开发人员的生产力。