原创力文档基于动静态程序分析的整形漏洞检测工具 detecting integer bugs based on static and dynamic program analysis.pdfVIP
- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于动静态程序分析的整形漏洞检测工具 detecting integer bugs based on static and dynamic program analysis
第 期 电 子 学 报
８ Ｖｏｌ．３８ Ｎｏ．８
年 月
２０１０ ８ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ａｕｇ． ２０１０
基于动静态程序分析的整形漏洞检测工具
１ １ ２ ２ １ １
陈 平 ，韩 浩 ，沈晓斌 ，殷新春 ，茅 兵 ，谢 立
（ 南京大学软件新技术国家重点实验室，南京大学计算机科学与技术系，江苏南京 ；
１． ２１００９３
扬州大学信息工程学院，江苏扬州 ）
２． ２２５００９
摘 要： 近几年，针对整形漏洞的攻击数目急剧上升 整形漏洞由于隐蔽性高，成为危害巨大的软件漏洞之一
． ．
本文提出了一种自动检测整形漏洞的防御工具，它结合了静态和动态程序分析技术 在静态分析阶段，该工具反编译
．
二进制程序，并创建可疑的指令集 在动态分析阶段，该工具动态地扫描可疑集中的指令，结合可触发漏洞的输入，判
．
断指令是否是整形漏洞 我们的工具有两个优点：首先，它提供了精确并且充足的类型信息 其次，通过基于反编译器
． ．
的静态分析，工具减少了动态运行时需要检测的指令数目 实验结果表明，我们的工具可以有效地检测到实际程序中
．
的整形漏洞，并且在我们检测的软件中，没有发现漏报，误报率也很低．
关键词： 计算机安全；软件安全；软件漏洞；整形漏洞
中图分类号： 文献标识码： 文章编号： （ ）
ＴＰ３０９ Ａ ０３７２２１１２２０１００８１７４１０７
ＤｅｔｅｃｔｉｎｇＩｎｔｅｇｅｒＢｕｇｓＢａｓｅｄｏｎＳｔａｔｉｃａｎｄＤｙｎａｍｉｃＰｒｏｇｒａｍＡｎａｌｙｓｉｓ
１ １ ２ ２ １ １
， ， ， ， ，
ＣＨＥＮＰｉｎｇＨＡＮＨａｏＳＨＥＮＸｉａｏｂｉｎｇＹＩＮＸｉｎｃｈｕｎ ＭＡＯＢｉｎｇＸＩＥＬｉ
（ ， ， ，
１．ＳｔａｔｅＫｅｙＬａｂｏｒａｔｏｒｙｆｏｒＮｏｖｅｌＳｏｆｔｗａｒｅＴｅｃｈｎｏｌｏｇｙＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙ
， ， ； ， ， ， ， ）
ＮａｎｊｉｎｇＪｉａｎｇｓｕ２１
您可能关注的文档
- 基于电流采样值的相敏过电流保护 new type of phase-sensitive overcurrent protection based on sampled value of current.pdf
- 基于电流磁场的输电固定成本分配 transmission fixed cost allocation based on current electro-magnetic fields.pdf
- 基于电力需求响应的负荷管理系统 load management system based on demand response.pdf
- 基于电流分解的单相无功功率定义及测量方法 research on a novel single phase reactive power definition and measurement based on current decomposition.pdf
- 基于电流反馈的直流无刷风扇电机无传感器控制 the sensorless control of brushless dc fan motors based on current feedback.pdf
- 基于电力有源滤波器的谐波抑制 harmonic wave inhibition based on the electric power active filter.pdf
- 基于电流轨迹和神经网络的逆变器故障诊断方法 fault diagnosis on inverter based on current trajectory and neural network.pdf
- 基于电流极性比较的抗电流互感器饱和新方法 a novel method for current transformer saturation countermeasure based on comparing two currents' polarities.pdf
- 基于电流行波能量和小波变换的输电线路故障选相研究 study on faulty phase selection based on energy of current traveling wave and wavelet transform.pdf
- 基于电流行波极性的高压直流极母线保护 hvdc bus-bar protection based on polar of current traveling waves.pdf
- 基于动力特性分析的混流式水轮机组结构振动处理方案优化 optimization for treatment scheme for structure vibration of francis turbine basic on dynamic characteristic analysis.pdf
- 基于动态web智能的数据集成管理系统设计 management system design for data integration based on dynamic embedded web intelligence.pdf
- 基于定子磁链电压模型的感应电动机新型控制策略 novel mothod based on stator fluxes voltage model for an induction motor drives.pdf
- 基于动态安全域的电力系统暂态稳定预防控制、紧急控制及其协调 coordination between preventive control and emergency control for transient stability of power system based on dynamic security region.pdf
- 基于动静态混合分析方法的电网结构性薄弱区域识别 recognition of power grid constitutive property weak area based on dynamic and static hybrid analysis method.pdf
- 基于动态安全域的电力系统安全概率评估模型 probabilistic model of power system security assessment based on dynamic security region.pdf
- 基于动态波表法波形发生器的设计与实现 design & realization of waveform generator based on dynamic wave table.pdf
- 基于动态测试技术的交流接触器性能评判系统 ac contactor performance evaluation system based on dynamic testing.pdf
- 基于动态补偿器的电力系统电压稳定和暂态稳定分析 analysis of the power system voltage stability and transient stability based on dynamic compensator.pdf
- 基于动态测度的电能质量监测系统 power quality monitoring system based on dynamics measure.pdf
文档评论（0）