[发明专利]一种基于数值抽象的程序资源使用量自动分析方法有效
| 申请号： | 202010382006.5 | 申请日： | 2020-05-08 |
| 公开（公告）号： | CN111475420B | 公开（公告）日： | 2023-04-28 |
| 发明（设计）人： | 陈立前;范广生;陈涛清;王戟;尹帮虎;刘江潮;董威;毛晓光;李姗姗 | 申请（专利权）人： | 中国人民解放军国防科技大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 湖南兆弘专利事务所(普通合伙) 43008 | 代理人： | 周长清 |
| 地址： | 410073 湖南*** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于数值抽象的程序资源使用量自动分析方法，其包括：步骤S1：资源操作API的配置；步骤S2：代码自动插桩；步骤S3：资源引用变量指向分析：通过指向分析得到程序中每个资源引用变量指向的基地址集合及对应的资源大小；利用用于建模资源使用量的数值变量及其依赖关系，对插桩后的代码进行切片，自动剔除与资源操作无关代码，得到数值程序；步骤S4：基于数值抽象的数值程序分析；步骤S5：循环次数上界分析；步骤S6：数值程序分析结果到资源使用量的映射：将分析得到的数值程序分析结果映射到资源使用量的值范围。本发明具有原理简单、适用范围广、分析效率高、分析可靠性好等优点。 | ||
| 搜索关键词： | 一种 基于 数值 抽象 程序 资源 使用 自动 分析 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科技大学，未经中国人民解放军国防科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010382006.5/，转载请声明来源钻瓜专利网。
