【摘 要】
：
针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到
【基金项目】
：
国家部委基础科研重点项目, 国家部委技术基础科研项目.
论文部分内容阅读
针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到内存相关库函数中为冲突类型的参数的集合,并将其作为潜在的整型符号转换缺陷候选集。在中间代码层面插入检测代码做运行时检测,最终确定真正的整型符号转换缺陷。原型系统Sconvcheck的实验结果表明：该方法可以有效地检测出程序中的整型符号转换缺陷,并准确地定位错误发生的位置,而且误报率较低。
其他文献
在地质灾害监测系统中,可以通过图像的变化检测对发生的灾害进行监测。要精确地进行变化检测,需要首先对图像进行匹配。针对雾天图像匹配精度低的问题,提出了一种基于雾天图像增强的SURF(Speed Up Robust Feature)图像匹配方法,有效地提高了雾天图像的匹配精度。用MSR(Multi Scale Retinex)算法对雾天图像进行增强处理,采用SURF算法完成特征点的提取,用欧式距离来度
传感器网络中大多数传统定位方法主要研究接收信号强度(RSS)之间的匹配关系,而未充分考虑物理环境和利用离线训练数据库信息。针对上述问题提出一种基于RSSI深相似域高斯拟合的定位方法。该方法在离线阶段建立RSS与距离之间的映射关系,并利用待测定位节点与其逻辑最近邻周边深相似域内的物理近邻点的信息,同时使用贝叶斯算法和高斯曲线拟合来获取参考节点RSS的测量值,最终提高指纹定位方法的准确性。实验结果表明
本文通过实例介绍以Ftp平台为基础,用Delphi编程进行文件夹遍历形成SQL数据库,实现资源的Web展示,并进一步建成体感更佳的电子资源共享生态系统的过程与方法。
以广西民族师范学院图书馆为例,通过了解馆藏电子资源的使用现状,分析其存在的问题,结合实际寻找相应的对策,以期为今后的图书馆馆藏工作提供决策上的支持。