Interprocedural program analysis for modern object-oriented languages

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

• 批准号: RGPIN-2014-05645
• 负责人: Lhotak, Ondrej
• 金额: $ 3.93万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=690454
• 关键词: 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 Toronto)能够制造更好的工具，这将提高*所有使用这些工具的软件开发人员的生产率。