[发明专利]基于变量关联规则的缓冲区溢出检测方法有效
申请号: | 202010012878.2 | 申请日: | 2020-01-06 |
公开(公告)号: | CN111382427B | 公开(公告)日: | 2022-04-26 |
发明(设计)人: | 李炼;李广威;张馨元;高琳 | 申请(专利权)人: | 宁波中科天齐信息技术有限公司 |
主分类号: | G06F21/52 | 分类号: | G06F21/52 |
代理公司: | 北京君恒知识产权代理有限公司 11466 | 代理人: | 余威 |
地址: | 315000 浙江省宁波*** | 国省代码: | 浙江;33 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明所述方法先识别代码中的缓冲区变量和其它预定义的关联规则,并在代码中传播和缓冲区容量相关联的变量及对应的关联函数。在得到关联关系后,本发明所述方法在缓冲区的访问点依据访问偏移量和缓冲区容量的关联关系来判断该缓冲区访问是否可能溢出。本发明中的预定义的关联规则可以简单清晰地表示出结构体的不同域间的关联关系,因此能够有效地检测出涉及结构体域对象的缓冲区访问溢出情况;[CALL]规则可以简洁地传播通过函数参数传递的关联关系,因此能够简单有效地检测出跨函数的缓冲区溢出情况。 | ||
搜索关键词: | 基于 变量 关联 规则 缓冲区 溢出 检测 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于宁波中科天齐信息技术有限公司,未经宁波中科天齐信息技术有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202010012878.2/,转载请声明来源钻瓜专利网。
- 上一篇:追溯码管理系统
- 下一篇:一种基于温度在线监测的高质量激光骨加工方法