[发明专利]一种面向缓冲区溢出错误检测方法在审
| 申请号： | 202310195301.3 | 申请日： | 2023-02-24 |
| 公开（公告）号： | CN116305094A | 公开（公告）日： | 2023-06-23 |
| 发明（设计）人： | 王文智;范萌;于爱民;孟丹 | 申请（专利权）人： | 中国科学院信息工程研究所 |
| 主分类号： | G06F21/54 | 分类号： | G06F21/54;G06F21/57 |
| 代理公司： | 北京君尚知识产权代理有限公司 11200 | 代理人： | 李文涛 |
| 地址： | 100085*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开一种面向缓冲区溢出错误检测方法，属于软件安全测试领域，对待分析的二进制程序进行预处理，确定发生缓冲区溢出的潜在函数，并且按照风险的优先级排序；根据所述优先级排序选择风险系数最高的函数作为待检测的目标函数，进行缓冲区溢出检测，通过动态污点分析和动态插桩技术，找到经过且影响该目标函数的输入参数；利用Concolic执行方法，对所述输入参数进行符号化，利用自定义的内存模型及检测引擎检测所述目标函数内是否存在缓冲区溢出bug；如果在某条路径上存在缓冲区溢出bug，则给出全局输入，直到所述目标函数内所有的路径都探索完毕。本方法可以高效地检测堆栈缓冲区溢出，有效减少了系统性能开销。 | ||
| 搜索关键词： | 一种 面向 缓冲区 溢出 错误 检测 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院信息工程研究所，未经中国科学院信息工程研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202310195301.3/，转载请声明来源钻瓜专利网。
- 上一篇：一种通风防潮电力开关柜
- 下一篇：放射性棒状材料切割夹具
