[发明专利]一种基于高阶函数的C++过程间异常分析系统及方法在审
| 申请号： | 202210168542.4 | 申请日： | 2022-02-23 |
| 公开（公告）号： | CN114647575A | 公开（公告）日： | 2022-06-21 |
| 发明（设计）人： | 张迎周;葛丽丽;帅东昕;密杰;杨嘉毅;卢跃;许碧欢 | 申请（专利权）人： | 南京邮电大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F9/48;G06F16/35 |
| 代理公司： | 南京纵横知识产权代理有限公司 32224 | 代理人： | 董建林 |
| 地址： | 210023 *** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了函数式编程和程序分析技术领域的一种基于高阶函数的C++过程间异常分析系统及方法，包括：确定过程调用图中每个被调用子过程的分析顺序，将C++程序中的语句进行分类；收集各个被调用子过程异常相关语句和函数调用语句的集合约束，按照集合约束规则对集合约束进行求解，获取过程内异常分析信息后，通过高阶函数的形式将所有被调用子过程的异常分析结果保存为异常分析函数摘要；按照函数的参数传递方式，根据形参和实参对应参数信息，在过程调用点处，对高阶函数式异常分析函数摘要的参数集合信息进行相应代入。本发明降低了传统方法需要构建过程间异常控制流图对异常进行过程间分析的时空开销，解决了异常分析效率较低的问题。 | ||
| 搜索关键词： | 一种 基于 函数 c++ 过程 异常 分析 系统 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京邮电大学，未经南京邮电大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210168542.4/，转载请声明来源钻瓜专利网。
- 上一篇：一种预制风帽及制造方法
- 下一篇：一种智慧支付可调扫描装置
