Effective, Efficient, and Correct Software Analysis and Optimization Tools

有效、高效、正确的软件分析和优化工具

• 批准号: 0702225
• 负责人: Daniel Grossman
• 金额: $ 42.5万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-10-01 至 2011-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0702225&HistoricalAwards=false
• 关键词: Effective; Efficient; Correct; Software; Analysis

Our modern society increasingly depends on the reliability, safety, and security of computer software. However, the compilers and other tools that analyze and translate the software into executable form can create a critical bottleneck: if a compiler has an error, then any software compiled by it may in turn be compromised.This project addresses this fundamental problem by developing effective, efficient, and correct language and tool implementation technology. Central to the project is that program analyses and transformations, the heart of optimizing compilers and software analysis tools, are written in a specialized language, named Rhodium. By focusing on this domain, it becomes feasible to build a fully-automatic correctness checker that ensures that Rhodium analyses and transformations are guaranteed to preserve the behavior of any program they process.Previous work developed a proof-of-concept Rhodium system, and demonstrated it on a range of intraprocedural optimizations. This project is developing new techniques that will allow the Rhodium system to scale to richer and more realistic settings, including the ability to optimize full-featured object-oriented and functional languages, perform scalable interprocedural analyses, execute with high efficiency, and cover the full range of tasks in the "middle-end" of optimizing compilers and software checking tools.

我们的现代社会越来越依赖计算机软件的可靠性，安全性和安全性。 但是，将软件分析和转化为可执行表格的编译器和其他工具可以创建关键瓶颈：如果编译器有错误，则该项目汇编的任何软件又可能会妥协。此项目通过开发有效，高效，效率，以及正确的语言和工具实施技术来解决此基本问题。 该项目的核心是，计划分析和转换是优化编译器和软件分析工具的核心，是用专用语言编写的，名为Rhodium。 通过关注该领域，建立一个完全自动的正确性检查器是可行的，该检查器确保保证了铑分析和转换可以保留他们正在处理的任何程序的行为。提出的概念证明的仇恨措施，并证明了一系列的术内优化。 该项目正在开发新技术，该技术将允许Rhodium System扩展到更丰富，更现实的设置，包括功能优化全面的，面向对象的和功能性语言，执行可扩展的概要分析，以高效率执行，并涵盖“优化编译器和软件检查工具”中的全部任务。