基于源代码的缺陷自动分析

摘要

相比软件测试和人工审查,静态分析软件缺陷近年来有较大发展.我们设计并实现了一个基于源代码的缺陷自动化分析器ABAR.ABAR采用状态机检测方法,提供一种缺陷描述语言将缺陷描述为基于变量的状态机,通过对源程序每一条执行路径上的变量进行状态追踪,可以有效地检测出真实源代码中存在的缺陷,同时能对发现的缺陷进行回溯和准确定位.为提高检测效率,我们在路径缩减、等值及别名分析、缓存等方面作了优化.