一种用于指针程序的形状分析方法

摘要：

指针程序的分析一直是研究热点.本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理.形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑.首先介绍所提出的形状图和形状图逻辑；然后在此基础之上,设计一种基于形状图逻辑的形状分析方法.

关键词：形状图、形状图逻辑、Hoare逻辑、形状分析、程序分析

分类号：TP311(计算技术、计算机技术)

在线出版日期：2012-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：82-85