龙芯中科技术股份有限公司翟鹏飞获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉龙芯中科技术股份有限公司申请的专利一种程序检测方法、系统及电子设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119960764B 。
龙图腾网通过国家知识产权局官网在2025-07-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510443161.6，技术领域涉及：G06F8/41；该发明授权一种程序检测方法、系统及电子设备是由翟鹏飞;李亚伟设计研发完成，并于2025-04-09向国家知识产权局提交的专利申请。
本一种程序检测方法、系统及电子设备在说明书摘要公布了：本发明实施例提供一种程序检测方法、系统及电子设备，该方法包括：基于包管理器对目标程序的源码进行解析，确定所述源码对应的中级中间表示；对所述中级中间表示进行分析，构建控制流图；基于所述控制流图对所述目标程序进行固定点迭代分析，确定所述目标程序中各个函数各自对应的状态数据，并将所述状态数据整合为全局数据；对所述全局数据进行内存安全检测、并发安全检测和数值安全检测中的至少一项，并生成检测结果。本发明实施例可以提升对Rust程序的检测效率，降低误报率，提升检测精度。
本发明授权一种程序检测方法、系统及电子设备在权利要求书中公布了：1.一种程序检测方法，其特征在于，所述方法包括： 基于包管理器对目标程序的源码进行解析，确定所述源码对应的中级中间表示； 对所述中级中间表示进行分析，构建控制流图；所述控制流图用于反映所述目标程序的执行路径和状态变化； 基于所述控制流图对所述目标程序进行固定点迭代分析，确定所述目标程序中各个函数各自对应的状态数据，并将所述状态数据整合为全局数据； 对所述全局数据进行内存安全检测、并发安全检测和数值安全检测中的至少一项，并生成检测结果； 其中，所述内存安全检测用于对内存块的所有权转移与不安全调用进行追踪，定位生命周期破坏风险；所述并发安全检测用于对线程间资源竞争或锁顺序冲突进行分析，识别导致并发冲突的关键路径；所述数值安全检测用于判定所述目标程序中各整数变量范围和运算越界，捕捉潜在溢出与数值越界根源。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人龙芯中科技术股份有限公司，其通讯地址为：100095 北京市海淀区地锦路7号院4号楼1层101；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号