[发明专利]基于规约导向的错误处理缺陷的检测方法及系统有效
| 申请号： | 202111575302.8 | 申请日： | 2021-12-22 |
| 公开（公告）号： | CN113961475B | 公开（公告）日： | 2022-04-15 |
| 发明（设计）人： | 李池;周旻;顾明 | 申请（专利权）人： | 清华大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F21/57 |
| 代理公司： | 北京鸿元知识产权代理有限公司 11327 | 代理人： | 王守梅;袁文婷 |
| 地址： | 10008*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种基于规约导向的错误处理缺陷的检测方法及系统，属于计算机程序漏洞检测技术领域，通过获取待测的源代码文件以及规约文件；源代码文件以及规约文件进行预处理获得CFA图结构和规约实例；将规约实例中各个目标接口的调用者对应的CFA图结构分别作为待分析入口，通过符号执行技术获得两个以上的覆盖上下文信息的符号路径信息；对每个符号路径信息根据规约实例的目标接口进行路径提取，获得路径集合；利用符号路径以及规约实例，进行规约导向的错误处理缺陷检测，为多种类别的错误处理缺陷检测提供了可行的解决方法。本发明达到了提升错误处理缺陷的检测精度和效率的技术效果。 | ||
| 搜索关键词： | 基于 规约 导向 错误 处理 缺陷 检测 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于清华大学，未经清华大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202111575302.8/，转载请声明来源钻瓜专利网。
- 上一篇：一种摇匀装置
- 下一篇：一种用于夹持西林瓶的夹头式机械手
