SHF:Small: Enabling Scalable and Expressive Program Analysis Notifications

SHF:Small：启用可扩展且富有表现力的程序分析通知

• 批准号: 1714538
• 负责人: Sarah Heckman
• 金额: $ 26.59万
• 依托单位: North Carolina State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-08-15 至 2021-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1714538&HistoricalAwards=false
• 关键词: SHF; Small; Enabling; Scalable; Expressive

Program analysis tools are necessary for high quality software. The goal of this research is to understand how expressiveness and scalability can be increased within and across these tools, which is important to advancing knowledge by transforming how software development environments converse with the developers who use them. There will be three outcomes: a framework designed to enable toolsmiths to create program analysis tools that are expressive and scalable, three re-engineered program analysis tools that use the framework, and validation that program analysis tools built using our framework provide positive results. It will have significant benefits to society by enabling developers to fully reap the benefits of program analysis tools more correct, more reliable, and more on-time software systems.Program analysis tools such as static analysis tools, restructuring tools, and code coverage tools communicate with the software developer through notifications, but these notifications must balance two competing priorities. First, they must be expressive enough that software developers can understand what the notification is trying to convey. Second, they must be scalable enough that as understanding a notification becomes increasingly cognitively demanding, the developer does not abandon the tool in favor of an error-prone process of manual diagnosis. The project designs a new interactive development environment (IDE) framework for notifications. Many program analysis notifications have a common structure, which can be leveraged to enable expressiveness and scalability for IDE notifications.

计划分析工具对于高质量的软件是必需的。这项研究的目的是了解这些工具内部和跨这些工具的表现力和可伸缩性如何提高，这对于通过改变软件开发环境如何与使用它们的开发人员交谈来推进知识很重要。将有三个结果：一个旨在启用工具匠创建具有表现力和可扩展性的程序分析工具的框架，三种使用框架的重新设计的程序分析工具，以及使用我们的框架构建的程序分析工具的验证可提供积极的结果。通过使开发人员能够使程序分析工具的好处更正确，更可靠，更可靠，更高的按时软件系统。首先，它们必须足够表达，以至于软件开发人员可以理解通知试图传达的内容。其次，它们必须足够可扩展，以至于了解通知变得越来越多地要求，开发人员不会放弃该工具，而有利于容易出错的手动诊断过程。该项目为通知设计了一个新的交互式开发环境（IDE）框架。 许多程序分析通知具有共同的结构，可以利用该结构来实现IDE通知的表现力和可扩展性。

项目成果

How should compilers explain problems to developers?

• DOI: 10.1145/3236024.3236040
• 发表时间: 2018-10
• 期刊: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
• 作者: Titus Barik;Denae Ford;E. Murphy-Hill;Chris Parnin

Nudging Students Toward Better Software Engineering Behaviors

推动学生养成更好的软件工程行为

• 发表时间: 2021
• 期刊: 3rd International Workshop on Bots in Software Engineering.
• 作者: Brown, Chris;Parnin, Chris
• 通讯作者: Parnin, Chris

Understanding the impact of GitHub suggested changes on recommendations between developers

• DOI: 10.1145/3368089.3409722
• 发表时间: 2020-11
• 期刊: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
• 作者: Chris Brown;Chris Parnin

Why Can’t Johnny Fix Vulnerabilities: A Usability Evaluation of Static Analysis Tools for Security

为什么约翰尼不能修复漏洞：安全静态分析工具的可用性评估

• 发表时间: 2020
• 期刊: Proceedings of the Sixteenth Symposium on Usable Privacy and Security
• 作者: Smith, Justin;Do, Lisa Nguyen;Murphy-Hill, Emerson
• 通讯作者: Murphy-Hill, Emerson