使用类型限定的系统依赖图检测整型错误

来源 :计算机应用研究 | 被引量 : 6次 | 上传用户：ldjlovell

【摘要】

：

目前大多数的源码安全审计工具在整型错误的检测上具有局限性,往往只能检测整型溢出类型的漏洞。针对这个问题,对已有的系统依赖图(system dependence graph,SDG)检测模型进行了改进,结合类型限定理论提出了基于类型限定的系统依赖图(type-qualified SDG,QSDG)检测模型。该模型不仅可以用来检测C代码中潜在的绝大多数整型错误,而且还能根据其出错原因将其分类到所定义的

【作者】

：

魏强金然王清贤

【机构】

：

解放军信息工程大学信息工程学院网络工程系

【出处】

：

计算机应用研究

【发表日期】

：

2008年06期

【关键词】

：

类型限定类型推断系统依赖图整型错误 type qualifier type inference system dependence graph integ

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

微量Hf对变形TiAl合金组织和力学性能的影响

对比观察含Hf和不含Hf的TiAl合金的变形组织和热处理组织，发现在1310℃／1h／AC热处理后均获得近全层片组织，平均晶粒尺寸为50～70μm，γ相的体积分数为12％左右；退火温度升高至1320℃，则

期刊

微量Hf近层片组织高温性能钛铝合金minor Hf near full lamellar high temperature properties

应用不同思维方式解决热浸镀铝技术难点问题的回顾与反思

简要介绍了在实验室研究及工业生产过程中，如何用不同的思维方式解决钢材热浸镀铝技术难点问题的过程．

期刊

热浸镀铝思维方式hot - dip aluminum thingking way

CeO2中晶格氧直接部分氧化甲烷制取合成气的研究

介绍了一种合成气制取的新方法-熔融盐中用晶格氧直接部分氧化甲烷制取合成气技术，对该技术的概念进行了阐述．以CeO2为氧载体，对反应过程进行了热力学分析，结果表明以CeO2中晶格

期刊

熔融盐CEO2晶格氧部分氧化合成气molten salt cerium oxide lattice oxygen partial oxidati

开设《数学发现与成就》课的探索

本文主要介绍作者开设数学专业选修课《数学发现与成就》的动因及编写这门课程的内容及特点。

期刊

数学专业课程数学发现与成就教学

中医专业本科课程体系和教学内容改革调查分析

为了主动适应社会对中医人才需求，我们对区内２７所中、西医院开展了关于中医教学内容和课程结构改革的调查研究，为我院即将重新修订教学计划提供有力依据

期刊

教学内容改革中医专业本科课程体系调查分析课程结构中医教学改革教学内容和课程体系改革中医院校县级中医院教学质量管理

基于循环移位的数字图像置乱加密

基于坐标变换的图像置乱是一种图像加密技术。提出一种基于图像矩阵循环移位操作的灰度图像置乱方法,循环移动位数的随机性增加了变换的无规律性,提高了算法的抗攻击能力。算法原理简单、易于实现,对图像大小没有限制。理论分析和实验仿真表明,算法具有良好的安全性和可操作性。

期刊

图像加密循环移位置乱混沌系统image encryption circular shifting scrambling chaos system

一种新型的桥梁结构健康远程监控系统

提出了一种新型的桥梁结构健康远程监控系统,能满足恶劣工作环境、抗电磁场干扰、抗腐蚀、抗潮湿等要求,并可通过互联网对大型桥梁结构健康进行可靠的远程监控。系统由布设在结构监控点处进行应变和温度监测的光纤光栅传感器、对传感信号进行解调的光纤光栅解调仪、对传感数据进行采集处理的软件模块和将监控数据通过互联网传输到监控中心的传输模块以及在线远程监控模块等部分组成。

期刊

桥梁结构远程监控光纤光栅传感器bridge structure remote monitoring and control fiber grating

电渣熔铸大功率柴油机曲轴

本文主要介绍将电渣熔铸工艺应用于大功率柴油机曲轴的制造领域．应用此法得到的曲轴加工余量小、生产周期短、力学性能优良，满足大功率柴油机的装机要求．目前该工艺已经成熟，产品

期刊

电渣熔铸大功率柴油机曲轴ESC high- power diesel crankshaft

农科普通化学教学内容的调查研究与改革实践

本文分析农科普通化学传统教学内容存在的不足，并在广泛的社会调查的基础上，研究总结出农科普通化学的基本教学内容，为新的教学大纲编写提供参考意见。

期刊

普通化学教学内容调查研究高等教育农业

基于超市模型的文件复制策略

为了有效地对文件复制进行管理,在资源网格中引入了超市模型,提出了基于超市模型的文件复制管理策略,利用超市模型与叠层复制相结合的方法来复制文件的副本,使文件复制过程中既有推力也有拉力,提高了整体系统效率。

期刊

网格复制超市模型副本虚拟组织grid replication supermarket model replica virtual orga

使用类型限定的系统依赖图检测整型错误

与本文相关的学术论文