发明专利已授权

一种基于高阶函数的C++过程间异常分析系统及方法

📄 申请号：CN202210168542.4 📄 发布日：2026/08/26

著录项目信息

申请日

2022-02-23

公开号

CN114647575B

公开日

2024-05-10

申请人

南京邮电大学

法律状态

已下证

专利类型

发明

主分类号

G06F11_36

IPC 分类号

G06F11_36 , G06F9_48 , G06F16_35 ,

技术画像

所属领域

程序分析程序分析编译技术软件测试

应用场景

软件开发工具, 代码质量检测, 程序错误检测, 编译优化, 软件测试

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明公开了函数式编程和程序分析技术领域的一种基于高阶函数的C++过程间异常分析系统及方法，包括：确定过程调用图中每个被调用子过程的分析顺序，将C++程序中的语句进行分类；收集各个被调用子过程异常相关语句和函数调用语句的集合约束，按照集合约束规则对集合约束进行求解，获取过程内异常分析信息后，通过高阶函数的形式将所有被调用子过程的异常分析结果保存为异常分析函数摘要；按照函数的参数传递方式，根据形参和实参对应参数信息，在过程调用点处，对高阶函数式异常分析函数摘要的参数集合信息进行相应代入。本发明降低了传统方法需要构建过程间异常控制流图对异常进行过程间分析的时空开销，解决了异常分析效率较低的问题。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

一种基于车辆分簇的协作缓存方法

当前第 / 件

一种基于基带数据感知的射频信号包络线预测方法

同领域国内专利 · IPC: (G06F11_36)

G06F11_00 G06F11_07 G06F11_08 G06F11_10 G06F11_14 G06F11_1446 G06F11_20 G06F11_22 G06F11_26 G06F11_263 G06F11_267 G06F11_27 G06F11_273 G06F11_30 G06F11_32 G06F11_34 G06F11_36 G06F11_3604 G06F11_362 G06F11_3668 覆盖20个领域

相似专利推荐 AI 驱动 · 同领域

数字签名处理方法、装置、计算机设备和存储介质

¥0.0

2021116154461 · 深圳市名竹科技有限公司

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：5 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)