SHF:Small: Enabling Scalable and Expressive Program Analysis Notifications

程序分析工具是高质量软件的必备工具。本研究的目标是了解如何在这些工具内部和跨工具提高表现力和可伸缩性，这对于通过改变软件开发环境与使用它们的开发人员对话的方式来提高知识非常重要。将有三个结果：一个旨在使工具工程师能够创建可表达和可伸缩的程序分析工具的框架，三个使用该框架的重新设计的程序分析工具，以及验证使用我们的框架构建的程序分析工具提供积极的结果。它将使开发人员充分获得程序分析工具的好处，使其更正确、更可靠、更及时的软件系统。程序分析工具，如静态分析工具、重构工具和代码覆盖工具通过通知与软件开发人员进行沟通，但这些通知必须平衡两个相互竞争的优先事项。首先，它们必须具有足够的表现力，以便软件开发人员能够理解通知试图传达的信息。其次，它们必须具有足够的可伸缩性，以便当理解通知变得越来越需要认知时，开发人员不会放弃该工具，转而使用容易出错的手动诊断过程。该项目为通知设计了一个新的交互开发环境(IDE)框架。许多程序分析通知都有一个共同的结构，可以利用该结构来支持IDE通知的表现力和可伸缩性。

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.