一种基于指针逻辑的代码安全属性分析方法

摘要：

在分析和总结前人工作的基础上,提出了一种改进的代码安全属性验证方法.该方法在利用传统的源代码安全属性验证工具的基础上,加入了指针逻辑,针对现有代码属性分析技术只能对C语言子集进行分析验证的不足,利用指针逻辑对源代码的分析结果对源代码中的指针进行替换,从而避开了传统静态代码属性验证工具对指针处理功能太弱的瓶颈,可以实现对C语言中的部分指针及运算进行处理.

关键词：操作系统安全、形式化验证、代码分析、模型检测、指针逻辑

所属期刊栏目：32

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

资助基金：国家"八六三"高技术研究发展计划项目基金2007AA01Z465,2006AA01Z433,2007AA01Z414

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

页数：共7页

页码：1119-1125