【摘 要】
：
受限于不完备的函数调用图分析和路径可达性分析，当前静态整数溢出检测工具存在较为严重的误报情况。为解决这一问题，以源代码中外部输入可控的整数溢出缺陷的自动挖掘为目标，给
论文部分内容阅读
受限于不完备的函数调用图分析和路径可达性分析，当前静态整数溢出检测工具存在较为严重的误报情况。为解决这一问题，以源代码中外部输入可控的整数溢出缺陷的自动挖掘为目标，给出一种综合调用图分析、静态污点分析和静态符号执行的检测方法。提出一种域敏感的流敏感指针分析方法构建目标程序调用图的“高估计”，应用静态污点‐sink 传播分析确定潜在的外部输入可控的整数溢出缺陷程序点，最后应用静态符号执行技术通过判定缺陷约束的可满足性对误报情况进行约减。实验验证了方法在实际整数溢出缺陷检测和误报情况约减方面的应用有效性。
其他文献
随着科技的发展,电子商务已经家喻户晓,集装箱航运电子市场业务也在不断扩大。本文论述了收益管理方法在集装箱班轮运输的动态定价与舱位分配方面的应用,以提高集装箱班轮运
录音师这个职业是技术与艺术的结合体,可以说是入门容易,深造难。录音的目的是充分利用技术手段以达到完美的艺术效果,动听的音乐必须通过高超的录音技术才能完美地记录与重
虚拟世界生存活动的受益者和代价者都是现实的人。未来我们必须在发展虚拟技术的同时也追求虚拟世界的人机互动系统更富人性化、道德化、法制化。这就要求我们必须处理好虚拟
对垃圾发电厂产生的烟灰（简称垃圾烟灰）进行了理化性能分析和活性试验，并与煤矸石电厂、燃煤电厂排放的粉煤灰进行了比较，同时以垃圾烟灰为主要材料研制了建筑砂浆。结果表明，垃圾
《道路交通安全法》是新中国历史上第一部全面规范道路交通安全管理的法律,是一部极富针对性和极具时代特征的法律。然而,这部倍受关注的法律中存在着一些诸如语义不清、逻辑
建筑防水工程是建筑产品的主要组成部分,是建筑产品应具备的基本功能之一。建筑防水工程不仅只是保证人们正常舒适的生活环境,也是保证正常生产环境的需要。本文讨论了建筑工
在分布式多输入多输出雷达目标检测中,为降低融合中心与局部雷达站之间的数据传输率,提出了一种双门限广义似然比恒虚警率检测算法.首先对局部广义似然比检验统计量进行第一
乳腺癌组织有较高的 Fas配基 ( Fas L)表达[1] ,这种表达是否可诱导机体 Fas阳性的免疫效应细胞凋亡 ,从而主动抑制机体的免疫功能 ,目前尚不清楚。作者通过检测乳腺癌细胞株
指出发展垃圾发电厂的关键是选择适当的焚烧锅炉 ,包括炉排炉、转窑、流化床焚烧炉、静态连续焚烧炉。介绍了各种炉型的原理 ,对常见的几种炉型作了比较 ,指出针对我国城市生
城乡转型时期的新世纪中国文学,逐步走出城乡二元结构的空间话语判断,却面临着＂后现代＂和＂多元化＂所衍生的＂价值风险＂语境。文学本土化精神的构建,以对第一现代性的继承与质疑、第