上海交通大学蔡洤朴获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉上海交通大学申请的专利面向实时操作系统设备的漏洞检测系统及方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113935041B 。
龙图腾网通过国家知识产权局官网在2025-08-08发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202111209943.1，技术领域涉及：G06F21/57；该发明授权面向实时操作系统设备的漏洞检测系统及方法是由蔡洤朴;陈力波;姜开达;薛质设计研发完成，并于2021-10-18向国家知识产权局提交的专利申请。
本面向实时操作系统设备的漏洞检测系统及方法在说明书摘要公布了：本发明提供了一种面向实时操作系统设备的漏洞检测系统及方法，结合设备固件二进制语义分析，在恢复固件中外部服务的关键函数语义信息基础上，跟踪设备运行时的用户数据输入、处理的流程，从而对固件中各个任务进行数据流重建，并基于数据流依赖关系对固件代码进行裁剪，最后在裁剪后的切片代码范围内进行指令模拟和漏洞检测。本方法可以避免复杂、低效的全系统设备模拟，直接对设备上运行的各种关键服务代码进行切片，并开展针对性测试，从而极大提高测试效率和实际漏洞的发现量。
本发明授权面向实时操作系统设备的漏洞检测系统及方法在权利要求书中公布了：1.一种面向实时操作系统设备的漏洞检测系统，其特征在于，包括基本信息提取模块、静态分析模块和动态分析模块； 所述基本信息提取模块对实时操作系统设备固件进行初步的解析和各关键数据的分离提取，包括对设备运行的运行环境提取，静态数据提取和代码数据提取； 所述静态分析模块对实时操作系统设备的代码数据进行解析，恢复其中的函数语义，并对外部服务的关键代码进行数据流依赖分析和提取； 所述动态分析模块对提取的关键服务代码进行模拟执行和模糊测试，并对发现的潜在安全问题进行分析验证； 所述静态分析模块包括函数语义分析、风险数据流分析和风险代码提取； 所述风险数据流分析指对于经数据引入函数所引入的服务数据输入，针对数据的复制、赋值、截取、变换操作对其他数据变量产生影响的过程进行分析，从代码数据中提取受影响的变量集合和对应的代码片段集合的过程； 所述代码片段的提取包括函数间的代码提取和函数内的代码提取； 函数间的代码提取通过分析数据流图的程序切片完成，对特定输入参数最终能够影响到的安全风险函数调用，构造从数据输入位置到所有调用安全风险函数位置的函数调用图，从代码数据中提取出该函数调用图。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海交通大学，其通讯地址为：200240 上海市闵行区东川路800号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号