《计算机学报》文章摘要   全文下载
文章题目	一种基于指针逻辑的代码安全属性分析方法
作者	张阳1) 程亮2)
作者单位	1)(中国科学院软件研究所 北京 100190) 2)(中国科学技术大学电子工程与信息科学系 合肥 230027)
发表年份	2009
发表月份	6期(1119—1125)
文章摘要	摘要 在分析和总结前人工作的基础上，提出了一种改进的代码安全属性验证方法.该方法在利用传统的源代码安全属性验证工具的基础上，加入了指针逻辑，针对现有代码属性分析技术只能对C语言子集进行分析验证的不足，利用指针逻辑对源代码的分析结果对源代码中的指针进行替换，从而避开了传统静态代码属性验证工具对指针处理功能太弱的瓶颈，可以实现对C语言中的部分指针及运算进行处理. 关键词 操作系统安全；形式化验证；代码分析；模型检测；指针逻辑 中图法分类号 TP309 DOI号: 10.3724/SP.J.1016.2009.01119