咨询电话：13280638997
传真：0533-3110363
邮箱：kefu@shizifang.com
24小时咨询热线13280638997
24小时咨询热线著 录 项 目：
| 专利/申请号： | CN201810785251.3 | 专利名称： | 一种基于推测多线程的汇编级过程间指针分析方法 |
| 申请日： | 2018-07-17 | 申请/专利权人 | 西安航空学院 |
| 专利类型： | 发明 | 地址： | 陕西省西安市西二环259号 |
| 专利状态： | 已下证 查询审查信息 | IPC分类号： | G06F9/38 分类检索 |
| 公开/公告日： | 转让价格： | 【平台担保交易】 | |
| 公开/公告号： | 交易状态： | 等待洽谈 搜索相似专利 | |
| 浏览量： | 24 | 所属领域： | 复杂软件系统开发 性能优化专利转让搜索 |
摘 要：本发明公开了一种基于推测多线程的汇编级过程间指针分析方法，通过汇编级的过程间指向分析，在进行过程间的指向分析之前，构建源程序中所有过程的过程调用图，构建后共分两个阶段进行指向分析。第一阶段，首先构建基于概率的路径剖析代价模型，提取过程调用图中所有过程结点所选的推测路径，然后进行过程内的指向分析；第二阶段，进行过程间的指向分析和过程间的副作用计算，在每个过程调用点处，利用过程内的指向分析结果，进行指向关系的映射和反映射，得到过程间的副作用计算结果，实现调用过程上下文指向关系更新。在此基础上，指导整个程序进行过程间的数据流分析，评估指针变量内存指向关系间的数据依赖程度，得到更加精确的线程划分结果。
| 交易方 | 企业 | 个人 |
| 买家 | 营业执照副本复印件（需盖公章） | 身份证复印件（签字） |
| 专利转让委托书（需盖公章）一式两份 | 专利转让委托书（需签字）一式两份 | |
| 专利转让协议（需盖公章）一式两份 | 专利转让协议（需签字）一式两份 | |
| 卖家 | 营业执照副本复印件（需盖公章） | 身份证复印件（需申请人签字） |
| 解除代理委托书（需盖公章）一式两份（如专利通过代理机构申请） | 解除代理委托书（需签字）一式两份（如专利通过代理机构申请） | |
| 专利转让协议（需盖公章）一式两份 | 专利转让协议（需签字）一式两份 | |
| 专利请求书或手续合格通知书、授权通知书复印件 | 专利请求书或手续合格通知书、专利授权通知书复印件 | |
| 专利证原件（若授权下证） | 专利证原件（若授权下证） |
| 日期 | 法律信息 | 备注 |
| 2022/09/27 | 授权 | |
| 2018/12/28 | 实质审查的生效 | IPC(主分类): G06F 9/38 专利申请号: 201810785251.3 申请日: 2018.07.17 |
| 2018/12/04 | 公开 |
| 申请号 | 专利名称 | 发布日期 |
| 2017100498398 | 【发明】一种定时执行代码的方法及装置 | 2025/10/29 |
| 2021111872530 | 【发明】社交软件的任务处理全局调度方法 | 2025/10/24 |
| 2020112869117 | 【发明】分屏显示的方法、装置、电子设备和存储介质 | 2025/10/24 |
| 2017110507660 | 【发明】应用管理方法和装置、电子设备、计算机存储介质 | 2025/10/22 |
| 2019101643716 | 【发明】数据处理方法和装置、电子设备、存储介质 | 2025/10/22 |
| 2019101726780 | 【发明】资源调度方法、设备、系统及中心服务器 | 2025/10/22 |
| 2019104081956 | 【发明】界面展示方法及装置、电子设备 | 2025/10/22 |
| 2019111577246 | 【发明】界面展示方法及装置、电子设备和存储介质 | 2025/10/22 |
| 2019113797306 | 【发明】数据处理方法、装置、设备和存储介质 | 2025/10/22 |
| 2020110096773 | 【发明】一种虚拟资源发放方法、装置、设备及存储介质 | 2025/10/22 |
