ITR/SW: Compiler Techniques for Improving Software Quality

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

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.