一种基于指针逻辑的代码安全属性分析方法
| Data(s) |
2009
|
|---|---|
| Resumo |
在分析和总结前人工作的基础上,提出了一种改进的代码安全属性验证方法.该方法在利用传统的源代码安全属性验证工具的基础上,加入了指针逻辑,针对现有代码属性分析技术只能对C语言子集进行分析验证的不足,利用指针逻辑对源代码的分析结果对源代码中的指针进行替换,从而避开了传统静态代码属性验证工具对指针处理功能太弱的瓶颈,可以实现对C语言中的部分指针及运算进行处理. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
张阳;程亮.一种基于指针逻辑的代码安全属性分析方法,计算机学报,2009,32(6):1119-1125 |
| Palavras-Chave | #操作系统安全 |
| Tipo |
期刊论文 |
