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.

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