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

• 作者: 张阳 程亮
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 操作系统安全 形式化验证 代码分析 模型检测 指针逻辑
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1119-1125
• 页数: 7页
• 分类号: TP309
• 字数: 6420字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.01119

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程亮	中国科学技术大学电子工程与信息科学系	18	152	6.0	12.0
2	张阳	中国科学院软件研究所	53	239	9.0	14.0