[发明专利]基于数据流分析的缓冲区溢出分析方法及装置在审
申请号: | 201911050708.7 | 申请日: | 2019-10-31 |
公开(公告)号: | CN111062031A | 公开(公告)日: | 2020-04-24 |
发明(设计)人: | 唐云善;王文祥;杨维永;朱春雷;马森;高庆;张世琨 | 申请(专利权)人: | 国家电网有限公司;北京大学;南瑞集团有限公司;南京南瑞信息通信科技有限公司;国网江苏省电力有限公司 |
主分类号: | G06F21/52 | 分类号: | G06F21/52;G06F16/901 |
代理公司: | 北京路浩知识产权代理有限公司 11002 | 代理人: | 王宇杨 |
地址: | 100031 *** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明实施例提供一种缓冲区溢出分析方法及装置。所述方法包括:基于程序的控制流图,通过静态污点分析确定被污染的变量;根据所述被污染的变量,确定以所述被污染的变量作为数组下标的数组表达式;根据所述数组表达式,通过后向数据流分析确定所述被污染的变量的边界限制值;判断外部输入变量与所述边界限制值的大小,若所述外部输入变量大于或等于所述边界限制值,则确认缓冲区溢出。本发明实施例提供的缓冲区溢出分析方法及装置可快速准确地判断出缓冲区溢出。 | ||
搜索关键词: | 基于 数据流 分析 缓冲区 溢出 方法 装置 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于国家电网有限公司;北京大学;南瑞集团有限公司;南京南瑞信息通信科技有限公司;国网江苏省电力有限公司,未经国家电网有限公司;北京大学;南瑞集团有限公司;南京南瑞信息通信科技有限公司;国网江苏省电力有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201911050708.7/,转载请声明来源钻瓜专利网。