[发明专利]一种用于建立控制流图的方法、系统和介质有效
| 申请号： | 202110152894.6 | 申请日： | 2021-02-04 |
| 公开（公告）号： | CN112506564B | 公开（公告）日： | 2021-04-27 |
| 发明（设计）人： | 朱凯龙;陆余良;刘京菊;黄晖;王永杰;杨国正;于璐;赵军 | 申请（专利权）人： | 中国人民解放军国防科技大学 |
| 主分类号： | G06F8/75 | 分类号： | G06F8/75;G06F8/74;G06F11/36 |
| 代理公司： | 中国和平利用军工技术协会专利中心 11215 | 代理人： | 刘光德 |
| 地址： | 410073 湖*** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本公开提供一种用于建立控制流图的方法、系统和介质。所述方法包括：步骤S1、基于目标程序的函数调用图和所述函数内的控制流图，通过融合生成第一控制流图，所述第一控制流图为过程间控制流图，不包含间接跳转关系；步骤S2、提取所述目标程序中的间接跳转点，根据所述间接跳转点对所述目标程序执行基于距离的导向式灰盒模糊测试，以生成测试用例，所述测试用例为测试过程中执行不同路径的用例；步骤S3、利用所述测试用例确定所述目标程序中的所述间接跳转关系，以获取第二控制流图，所述第二控制流图包含所述间接跳转关系。 | ||
| 搜索关键词： | 一种 用于 建立 控制 方法 系统 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科技大学，未经中国人民解放军国防科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110152894.6/，转载请声明来源钻瓜专利网。
- 上一篇：区块生成及验证的方法、装置、电子设备和可读存储介质
- 下一篇：一种起重机
