| 一种基于指针逻辑的代码安全属性分析方法 |
| |
| 引用本文： | 张阳,程亮.一种基于指针逻辑的代码安全属性分析方法[J].计算机学报,2009,32(6). |
| |
| 作者姓名： | 张阳 程亮 |
| |
| 作者单位： | 1. 中国科学院软件研究所,北京,100190
2. 中国科学技术大学电子工程与信息科学系,合肥,230027 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 在分析和总结前人工作的基础上,提出了一种改进的代码安全属性验证方法.该方法在利用传统的源代码安全属性验证工具的基础上,加入了指针逻辑,针对现有代码属性分析技术只能对C语言子集进行分析验证的不足,利用指针逻辑对源代码的分析结果对源代码中的指针进行替换,从而避开了传统静态代码属性验证工具对指针处理功能太弱的瓶颈,可以实现对C语言中的部分指针及运算进行处理.
|
| 关 键 词： | 操作系统安全 形式化验证 代码分析 模型检测 指针逻辑 |
A New Property Verification Method for Code Security Based on Pointer Logic |
| |
| ZHANG Yang,CHENG Liang.A New Property Verification Method for Code Security Based on Pointer Logic[J].Chinese Journal of Computers,2009,32(6). |
| |
| Authors: | ZHANG Yang CHENG Liang |
| |
| Affiliation: | Institute of Software;Chinese Academy of Sciences;Beijing 100190;Department of Electronic Engineering and Information Science;University of Science and Technology of China;Hefei 230027 |
| |
| Abstract: | |
| |
| Keywords: | operating system security formal verification code analysis model checking pointer logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
