准确性无损的软件缺陷检测高可扩展性优化研究

项目名称： 准确性无损的软件缺陷检测高可扩展性优化研究

项目编号： No.61402303

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 衷璐洁

作者单位： 首都师范大学

项目金额： 24万元

中文摘要： 实用、准确且具有高可扩展性是软件静态缺陷检测方法追求的终极目标。在尚无有效方法降低高准确性分析算法指数级复杂度的背景之下，当程序规模变大时，高准确性分析的高开销是用户所不能承受的。当前，迅速发展的新型硬件与计算环境为静态缺陷检测方法提供新机遇的同时，大规模应用程序对于高效、准确的缺陷检测方法的需求也更为迫切。针对这些现状，本项目紧密围绕减小缺陷检测计算规模和提高缺陷检测计算能力两个核心，在保障检测准确性的基础上，设计极小化路径敏感分析规模和基于新型硬件与计算环境的多层次协同的高可扩展性优化方案。主要研究内容包括：（1）提出应用层和缺陷检测层路径敏感分析范围减小策略，以及通用定值-引用缺陷描述和自适应检测生成机制；（2）提出程序分析及缺陷检测层的并行加速策略及算法。从而实现可应用于大规模程序检测，以高检测可扩展性为驱动、实用准确的、多层次软硬件加速融合的软件缺陷检测方法。

中文关键词： 程序分析；缺陷检测；高准确性；高可扩展性；并行加速

英文摘要： Achieving high accuracy, high scalability and the practicability are the ultimate goals for software static fault detection. Under the situation of having no effective way to reduce the exponential complexity of analysis algorithms, users cannot suffer th

英文关键词： Program analysis；Fault detection；High accuracy；High scalability；Parallel Acceleration