首页> 中文期刊> 《天水师范学院学报》 >C指针安全性的分析检测

C指针安全性的分析检测

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对C语言指针操作没有限制,可由无效指针或者错误引用引起安全漏洞的问题,提出了一种在编译阶段利用抽象语法树定义安全规则检测的无效指针,在没有无效指针的基础上利用指针逻辑对源代码中的指针进行等价替换,然后借用属性验证工具从可达性方面检验指针的安全性.

著录项

来源
《天水师范学院学报》 |2011年第2期|115-117|共3页
作者
赵利民; 赵玉祥;
展开▼
作者单位

天水师范学院物理与信息科学学院,甘肃天水741001;

天水师范学院物理与信息科学学院,甘肃天水741001;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
代码分析; 静态检测; 安全漏洞; 形式化验证;

相似文献

中文文献
外文文献
专利

1. 高效液相色谱法在动物性食品安全性分析检测中的应用 [J] . 张伟敏 ,李浩南 ,钟耕 . 肉类研究 . 2005,第005期
2. PLC指针方式控制变频器恒压供水系统浅析 [J] . 马俊超 . 产业创新研究 . 2019,第010期
3. 浅析C指针和一维、二维数组之间的关系 [J] . 张龙波 . 电脑知识与技术 . 2017,第028期
4. 内存分配在C指针教学中的作用 [J] . 唐楚然 . 信息技术与信息化 . 2016,第004期
5. 西门子S7-400PLC指针编程实现高炉自动装料 [J] . 宁戎 ,洪志祥 . 冶金动力 . 2015,第001期
6. 现代分析检测技术在污泥灰替代粘土烧制水泥熟料中的应用 [C] . LV Meng-qi ,吕梦琪 ,WU Ya-lei . 第三届中国固废处理与生态材料学术与技术交流会 . 2018
7. MOF材料的合成及在分析检测中的应用 [A] . 都芸 . 2021

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号