一种用于指针程序的形状分析方法
作者机构：中国人民解放军63898部队
出 版 物：《计算机与现代化》 (Computer and Modernization)
年 卷 期：2012年第4期
页 码：82-85页
摘 要：指针程序的分析一直是研究热点。本文提出一种基于形状图逻辑的形状分析方法,其中形状分析采用形状图来表达程序中指针的指向和相等关系,并用形状图逻辑来进行推理。形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。首先介绍所提出的形状图和形状图逻辑;然后在此基础之上,设计一种基于形状图逻辑的形状分析方法。
主 题 词：形状图 形状图逻辑 Hoare逻辑 形状分析 程序分析
学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类]
D O I：10.3969/j.issn.1006-2475.2012.04.022
馆 藏 号：203114955...
