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

龙图腾网获悉西安交通大学申请的专利面向小程序的一种静态污点数据流分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115952504B 。

龙图腾网通过国家知识产权局官网在2025-12-12发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310133974.6，技术领域涉及：G06F21/56；该发明授权面向小程序的一种静态污点数据流分析方法是由范铭;刘峻峰;陶俊杰;石吉飞;鄢子强;王寅;晋武侠;刘烃设计研发完成，并于2023-02-17向国家知识产权局提交的专利申请。

本面向小程序的一种静态污点数据流分析方法在说明书摘要公布了：本发明提出面向小程序的一种静态污点数据流分析方法，分为四个步骤对小程序进行数据流构建和污点分析：首先对目标小程序的API进行分析，按照API功能将其划分为Source类型API即SourceAPI或者Sink类型API即SinkAPI；其次将小程序的项目源代码解析为抽象语法树即AST，通过分析AST构建出每个代码文件中的词法作用域链和各词法作用域的符号表；然后遍历AST，对各文件中各个函数级别的词法作用域进行依赖分析，对文件、函数、变量三种实体构建依赖关系；最后根据小程序特异的API确定污点源，在实体依赖关系上应用污点传播规则进行污点分析。通过以上方法，可以针对小程序的特点，快速、准确地构建出小程序的污点数据流，并将结果进一步用于数据泄露检测等问题的分析。

本发明授权面向小程序的一种静态污点数据流分析方法在权利要求书中公布了：1.面向小程序的一种静态污点数据流分析方法，其特征在于，包括如下步骤： 1小程序特性分析和API类型划分 步骤S101：通过查阅开发者手册，对小程序使用的平台相关API进行归纳，按照其实现的功能类型，判断其属于收集数据的Source类型API还是传输数据的Sink类型API，将其划分为Source类型API即SourceAPI或者Sink类型API即SinkAPI； 2抽象语法树解析与词法作用域构建： 步骤S102：对于分析目标小程序M，使用语法分析工具将其源代码解析为json格式的抽象语法树A； 步骤S103：将步骤S101中得到的json格式的抽象语法树A对象化，补充各个节点在语法树层次上的父子关系，形成语法树A’； 步骤S104：对所有源代码文件，深度优先、先序遍历步骤S102中得到的语法树A’，构造作用域链并填充符号表； 执行具体步骤如下： 步骤S201：初始化当前词法作用域ScopeCur为全局作用域，当前访问节点V为当前文件语法树根节点； 步骤S202：检查当前访问节点V的语法树节点类型，如果该语法树节点产生了一个新的词法作用域ScopeNew，转步骤S203，否则转步骤S205； 步骤S203：将新产生的词法作用域ScopeNew的父作用域设置为当前词法作用域ScopeCur，即ScopeCur内含ScopeNew； 步骤S204：设置当前词法作用域ScopeCur为ScopeNew； 步骤S205：从当前访问节点V的子节点中按照编程语言的表达式求值顺序，访问下一个节点VNext； 步骤S206：若存在VNext，将当前访问节点V设为VNext，转步骤S202； 3基于符号表的依赖关系构建 步骤S105：对所有源代码文件，按照程序求值顺序遍历步骤S102中得到的语法树A’，访问到表示变量的语法树节点时，按照预定规则在构建的符号表中搜索该变量对应的符号，记录访问记录和相关的语法上下文信息； 步骤S106：对于步骤S105中可能产生的跨文件数据引用和函数引用，构建引用处到引用源的依赖关系； 4基于访问记录的污点数据流构建 步骤S107：根据小程序步骤S101中划分的Source类型API，在各源代码文件的符号表中搜索其对应符号S_source，将S_source加入污点集合TC，并搜索S_source的访问记录，根据记录的语法上下文信息获取其信息返回结果，对信息返回结果的访问记录构建数据依赖并应用一定的污点传播规则进行分析，构建出该小程序SourceAPI对应的污点数据流。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安交通大学，其通讯地址为：710049 陕西省西安市碑林区咸宁西路28号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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