ITR/SW: Compiler Techniques for Improving Software Quality

ITR/SW：提高软件质量的编译器技术

• 批准号: 0313263
• 负责人: Calvin Lin
• 金额: $ 50万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-09-01 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0313263&HistoricalAwards=false
• 关键词: ITR; SW; Compiler; Techniques; Improving

Current software is typically brittle and of low quality: Software is hard to debug, hard to change, and hard to optimize. This proposal explores a compiler-based approach for improving the quality of software. In particular, this approach, and its the implementation in the Broadway compiler, provides automated support for error detection and performance optimization. The key observation is that performance and correctness are no longer issues that can be dealt with purely at the level of language primitives. The solution then is to inject domain-specific information into the compilation process. This information is expressed using a simple annotation language that directs a configurable compiler to perform domainspecificanalyses and transformations. The result is a compiler that can detect domain-specific security vulnerabilities and can perform domain-specific optimizations that exploit, for example, the semantics of a graphics library or a parallel matrix library.

当前的软件通常是脆弱和低质量的：软件很难调试，很难更改，很难优化。该提案探索了一种基于编译器的方法来提高软件质量。特别是，这种方法及其在百老汇编译器中的实现，为错误检测和性能优化提供了自动支持。关键的观察是，性能和正确性不再是纯粹在语言原语级别上可以处理的问题。然后，解决方案是在编译过程中注入特定于领域的信息。这些信息是用一种简单的注释语言来表达的，该语言指导可配置的编译器执行域特定的分析和转换。其结果是可以检测特定于域的安全漏洞的编译器，并且可以执行利用例如图形库或并行矩阵库的语义的特定于域的优化。