SHF: Small: User-Centered Software Analysis Tools

SHF：小型：以用户为中心的软件分析工具

• 批准号: 0915978
• 负责人: Jeffrey Foster
• 金额: $ 50万
• 依托单位: University of Maryland, College Park
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0915978&HistoricalAwards=false
• 关键词: SHF; Small; User; Centered; Software

The proposed work explores techniques for making static analysis toolsmore effective in the hands of users. This will lead to thedevelopment of new static analysis algorithms, techniques, andinterfaces that provide the information users need to find, verify,and fix defects.The core of the proposed work will be a framework for static analysisvisualization and interaction, with several components. First, theframework will include checklists to help users triage defect reports,i.e., decide whether they are true or false positives. The aim is todevelop ways to instrument static analyses to automatically generatechecklists based on imprecision introduced during the analysis.Second, the framework will include lightweight query and searchfacilities to help users work with static analysis tool results. Usersneed effective ways to query the knowledge-base generated by a toolwhen trying to understand an error report; current static errorreports tend to provide too little or too much information. Third, theframework will include a generic visualization for program paths, acore part of many static analysis tools' defect reports. While sometools include simple path visualization, our framework will aim forfar more effective interfaces by applying information visualizationprinciples.

拟议的工作探索了使静态分析工具在用户手中更有效的技术。 这将导致新的静态分析算法、技术和界面的开发，为用户提供查找、验证和修复缺陷所需的信息。拟议工作的核心将是静态分析可视化和交互的框架，由多个组件组成。首先，该框架将包括检查表，以帮助用户对缺陷报告进行分类，即确定它们是真实的还是误报。 目的是开发静态分析工具，根据分析过程中引入的不精确性自动生成检查列表。其次，该框架将包括轻量级查询和搜索设施，以帮助用户使用静态分析工具结果。当用户试图理解错误报告时，需要有效的方法来查询工具生成的知识库；当前的静态错误报告往往提供太少或太多的信息。第三，该框架将包括程序路径的通用可视化，这是许多静态分析工具缺陷报告的核心部分。虽然某些工具包括简单的路径可视化，但我们的框架将通过应用信息可视化原理来实现更有效的界面。