SHF: Small: Expressive and Scalable Notifications for Program Analysis Tools

软件开发人员创建社会日益依赖的软件，反过来，软件开发人员依赖程序分析工具来帮助他们创建该软件。已经创建了各种各样的程序分析工具来帮助软件开发人员完成他们的工作，然而这些工具的输出通常很难理解，并且在不同的工具之间差别很大。因此，软件开发人员可能会浪费时间来解释这些工具的输出，而不是使他们的软件更有能力和更可靠。这个项目的目标是(1)了解如何在程序分析工具中和跨程序分析工具提高表现力和可扩展性，以及(2)了解增加的表现力和可扩展性如何影响开发人员在创建和维护软件时的有效性和效率。为了达到这些目标，该项目将研究三种不同类型的程序分析工具，调查这些工具之间的异同，描述如何提高表达能力和一致性，最后评估考虑到增强表达能力和一致性的工具。该项目有三个成果：(1)帮助工具制造商创建更好的计划分析工具的设计指南，(2)说明如何实现指南的工具实施，以及(3)实证结果，展示使用指南实施的计划分析工具产生积极结果的程度和背景。一旦达到这些目标，我们就可以创建程序分析工具，使开发人员能够朝着更正确、更可靠和更及时的软件系统迈进一大步。

Software developers create the software that society increasingly relies on, and in turn software developers rely on program analysis tools to help them create that software. A wide variety of program analysis tools have been created to help software developers do their jobs, yet the output of these tools are often difficult to understand and vary significantly from tool to tool. As a result, software developers may waste time trying to interpret the output of these tools, instead of making their software more capable and reliable.The goals of this project are (1) to understand how expressiveness and scalability can be increased in and across program analysis tools and (2) to understand how increased expressiveness and scalability affects developers' effectiveness and efficiency in creating and maintaining software. To reach these goals, the project will study three different types of program analysis tools, investigate the similarities and differences between these tools, describe how expressiveness and uniformity can be increased, and finally evaluate tools created with enhanced expressiveness and uniformity in mind. There are three outcomes of this project: (1) design guidelines to help tool makers create better program analysis tools, (2) tool implementations that illustrate how the guidelines can be fulfilled, and (3) empirical results that demonstrate the extent to which and the context in which program analysis tools implemented with the guidelines yield positive outcomes. Once these goals are reached, we can create program analysis tools that enable developers to make tremendous strides towards more correct, more reliable, and more on-time software systems.