北京酷德啄木鸟信息技术有限公司赵亮获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉北京酷德啄木鸟信息技术有限公司申请的专利基于语法树的污点追踪分析方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN115758347B 。
龙图腾网通过国家知识产权局官网在2026-04-07发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202211344714.5,技术领域涉及:G06F21/56;该发明授权基于语法树的污点追踪分析方法是由赵亮;张合磊;赵平;杨临庆设计研发完成,并于2022-10-31向国家知识产权局提交的专利申请。
本基于语法树的污点追踪分析方法在说明书摘要公布了:本发明提供一种基于语法树的污点追踪分析方法,其包括:预定义source点、sink点和sanitizer点;对源代码进行分析,构建语法树;基于source点并遍历语法树来构建基于源代码的受污染变量的缺陷符号表,其中,缺陷符号表中每一项包含表示变量污染状态的污染标识位;遍历语法树并依据变量之间的逻辑运算关系,追踪受污染变量的传递并构建用于记录受污染变量传播路径的污点传播链表;在追踪受污染变量的传递过程中,构建经过sanitizer点净化处理并存在于污点传播链表中的变量的未污染数据集合;以及判断语法树的节点是否为sink点,当为sink点时,判断sink点相关的变量在缺陷符号表中的污染状态和是否存在于未污染数据集合中,并基于判断结果确定是否输出污点传播链表的污染传播路径。
本发明授权基于语法树的污点追踪分析方法在权利要求书中公布了:1.一种基于语法树的污点追踪分析方法,所述方法包括: 预定义source点、sink点和sanitizer点; 对源代码进行分析,构建语法树; 基于所述source点并遍历所述语法树来构建基于所述源代码的受污染变量的缺陷符号表,其中,所述缺陷符号表中每一项包含表示变量污染状态的污染标识位; 遍历所述语法树并依据变量之间的逻辑运算关系,追踪所述受污染变量的传递并构建用于记录所述受污染变量的传播路径的污点传播链表; 在追踪所述受污染变量的传递过程中,构建经过所述sanitizer点净化处理并存在于所述污点传播链表中的变量的未污染数据集合;以及 判断所述语法树的节点是否为所述sink点,当为所述sink点时,判断所述sink点相关的变量在所述缺陷符号表中的污染状态以及是否存在于所述未污染数据集合中,并基于判断结果确定是否输出所述污点传播链表的污染传播路径, 其中,所述基于判断结果确定是否输出所述污点传播链表的污染传播路径包括:当所述受污染变量在所述缺陷符号表中的所述污染标识位为污染状态并且不存在于所述未污染数据集合中,则输出所述污点传播链表中与所述sink点相关的变量的污染传播路径, 其中,所述污点传播链表的所述污染传播路径仅包括在所述缺陷符号表中的所述污染标识位为污染状态并且不存在于所述未污染数据集合中的变量。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京酷德啄木鸟信息技术有限公司,其通讯地址为:100043 北京市石景山区八大处高科技园区内6-C号地3号楼1层136室;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励