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.