计算机与现代化 ›› 2012, Vol. 1 ›› Issue (200): 82-04.doi: 10. 3969/j. issn. 1006-2475.2012.04.022
刘 刚,胡凯平,宋发兴
LIU Gang, HU Kai-ping, SONG Fa-xing
摘要: 指针程序的分析一直是研究热点。本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理。形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。首先介绍所提出的形状图和形状图逻辑;然后在此基础之上,设计一种基于形状图逻辑的形状分析方法。