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

SHF：小：程序分析工具的富有表现力和可扩展的通知

• 批准号: 1217700
• 负责人: Emerson Murphy-Hill
• 金额: $ 25万
• 依托单位: North Carolina State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-10-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1217700&HistoricalAwards=false
• 关键词: SHF; Small; Expressive; Scalable; Notifications

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.

软件开发人员创建了社会越来越依赖的软件，反过来，软件开发人员依赖程序分析工具来帮助他们创建软件。已经创建了各种各样的程序分析工具来帮助软件开发人员完成他们的工作，但是这些工具的输出通常很难理解，并且在不同的工具之间差异很大。因此，软件开发人员可能会浪费时间试图解释这些工具的输出，而不是使他们的软件更强大和可靠。这个项目的目标是（1）了解如何表达和可伸缩性可以增加和跨程序分析工具和（2）了解如何增加表达和可伸缩性影响开发人员的有效性和效率在创建和维护软件。为了实现这些目标，该项目将研究三种不同类型的程序分析工具，调查这些工具之间的相似性和差异，描述如何提高表现力和一致性，并最终评估在增强表现力和一致性的情况下创建的工具。这个项目有三个结果：（1）设计指导方针，以帮助工具制造商创建更好的程序分析工具，（2）工具的实现，说明如何可以实现的指导方针，（3）实证结果，证明在何种程度上和在何种情况下，程序分析工具与指导方针实施产生积极的结果。一旦达到这些目标，我们就可以创建程序分析工具，使开发人员能够朝着更正确，更可靠，更准时的软件系统迈出巨大的步伐。