买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中科天齐(山西)软件安全技术研究院有限公司申请的专利一种基于网络框架对静态分析缺失语义进行补充的方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115934517B 。

龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211482223.7，技术领域涉及：G06F11/3604；该发明授权一种基于网络框架对静态分析缺失语义进行补充的方法是由孟海宁;李昊峰;曹立庆;刘晨;陆杰;李炼;高琳设计研发完成，并于2022-11-24向国家知识产权局提交的专利申请。

本一种基于网络框架对静态分析缺失语义进行补充的方法在说明书摘要公布了：本发明公开了一种基于网络框架对静态分析缺失语义进行补充的方法，该方法包括：获取目标网络应用程序的执行日志，目标网络应用程序是基于目标网络框架生成的；基于执行日志中从目标网络应用程序中提取配置标记；对配置标记进行关联分析得到补充语义；基于补充语义对静态分析中缺失的语义进行补充。本发明通过自动挖掘运行时的执行日志获取配置标识，进而通过关联分析精准快速有效的得到缺失的语义进行补充，有效提高静态分析工具的分析能力，且相较于研究人员手动编写的方式，不仅高效的解决了静态分析中由网络框架配置带来的语义缺失的问题，还节省了大量时间和人力资源。

本发明授权一种基于网络框架对静态分析缺失语义进行补充的方法在权利要求书中公布了：1.一种基于网络框架对静态分析缺失语义进行补充的方法，其特征在于，包括： 获取目标网络应用程序的执行日志，所述目标网络应用程序是基于目标网络框架生成的； 基于所述执行日志中从所述目标网络应用程序中提取与预设缺失语义对应的配置标记； 对所述配置标记进行关联分析得到补充语义； 基于所述补充语义对静态分析中缺失的语义进行补充； 所述基于所述执行日志中从所述目标网络应用程序中提取与预设缺失语义对应的配置标记，包括： 对所述执行日志进行语义分析得到程序执行语义； 根据所述程序执行语义与所述目标网络应用程序中程序代码之间的对应关系，得到所述程序执行语义对应的程序代码片段； 将所述程序代码片段与所述预设缺失语义的代码片段进行匹配，并根据匹配结果建立所述预设缺失语义与所述程序代码片段之间的映射； 从所述目标网络应用程序中提取与所述程序代码片段对应的配置标记； 所述对所述执行日志进行语义分析得到程序执行语义，包括： 从所述执行日志中提取执行顺序信息和调用点信息构建带有附属信息的动态调用图，所述附属信息为所述执行日志中体现调用点和调用目标之间映射关系的信息； 对所述动态调用图进行节点分析，得到根节点和非根节点； 通过所述根节点从所述目标网络应用程序中提取入口点语义，基于所述非根节点从所述目标网络应用程序中提取非入口点语义； 根据所述附属信息对所述动态调用图进行遍历提取间接调用语义； 从所述执行日志中提取字段语义相关的运行信息，得到注入字段语义和普通字段语义。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中科天齐(山西)软件安全技术研究院有限公司，其通讯地址为：030032 山西省太原市太原唐槐园区汾东大街10号A栋501室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。