论文部分内容阅读
提出了基于整数区间和控制依赖图,通过静态分析来检测C语言源代码中安全漏洞的新方法.该方法在引入整数区间概念及其运算规则的基础上,把C语言中的数组、指针和整型表达式都抽象成整数区间,从而把相关安全性判断转换成整数区间之间的关系判断.最后讨论了该方法的具体算法.
软件安全性的静态分析
【摘 要】
：
提出了基于整数区间和控制依赖图,通过静态分析来检测C语言源代码中安全漏洞的新方法.该方法在引入整数区间概念及其运算规则的基础上,把C语言中的数组、指针和整型表达式都
【机 构】
：
衢州学院
【出 处】
：
计算机工程与设计
【发表日期】
：
2006年8期
其他文献
管理层通常注重对人、财、物的管理,而忽略时间因素的重要性。时间领导将时间因素和领导理论相结合,描述管理者依据个体时间特质与任务特征所做出的保证任务按时完成的同时提
回顾亚仿科技股份有限公司在仿真技术方面的发展历程,介绍其开发研制的、具有自主知识产权的仿真支撑平台(ASCA和AF2000)和自动开发工具;论述对亚仿公司的发展起重要作用的质
根据两位的Booth编码技术和符号预测技术，针对Blakley模乘算法进行了分析和改进，采用了一种理想的适合于硬件实现的算法。根据此算法，并结合CRT算法，实现了一种新的脉动阵列结构，
虚拟企业（virtual enterprise，VE）被认为是21世纪最有竞争力的企业运行模式，它面向全球范围的企业资源，通过构建VE的联盟之间的快速重组，实现联盟企业之间的敏捷化和柔性化。如何选
目的探究米非司酮联合甲氨蝶呤保守治疗宫外孕的治疗效果。方法将2017年1月～2018年6月的96例宫外孕患者应用掷骰子的方式平均分为实验组与对照组,并分别采用米非司酮联合甲氨
由语义不一致性导致的知识库难以复用与共享是影响专家系统开发与应用的关键问题。针对鱼病诊断专家系统中诊断知识的特点，根据鱼病诊断知识模型，分析了鱼病诊断知识模式，定义了
距今为止,日本已在探索国家公园建设之路上走了150年,并建成了当今世界上独树一帜的国家公园体系,系统梳理日本国家公园体制发展经验,对我国生态文明建设具有重要的启示作用
<正>最近,家住北京密云区五道营子乡黄家沟村的张铁生老人有了新"盼头"。"这两年,搞的土地制度改革在我们村里实施以后啊,确实,有不小变化。现在总有一些投资商来我们村考察
在分析了传统FTP搜索引擎在处理资源的时效性不足的基础上,提出了一个高效的层次型结构FTP动态搜索引擎系统模型,通过建立网络节点空间,改进信息搜索策略与存储机制,引入区域
国际私法学说的发展对国际私法的影响有着不可忽视的作用,由于国际法律发展的复杂性以及各国法律规范的差异,各国立法者和司法者无法经过实践得出统一的针对国家间关于平等民