买专利,只认龙图腾
首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】基于语义控制流的应用程序漏洞静态检测方法及系统_深圳开源互联网安全技术有限公司_202410075146.6 

申请/专利权人:深圳开源互联网安全技术有限公司

申请日:2024-01-17

公开(公告)日:2024-04-09

公开(公告)号:CN117852046A

主分类号:G06F21/57

分类号:G06F21/57;G06F21/56

优先权:

专利状态码:在审-实质审查的生效

法律状态:2024.04.26#实质审查的生效;2024.04.09#公开

摘要:本发明公开了一种基于语义控制流的应用程序漏洞静态检测方法及系统,其中该方法包括:基于预设的特征语法符号集对待测应用程序的语法规则进行重新定义,以获得规则化的特征代码段;定义一组基于操作语义的代码分割规则;采用代码分割规则对特征代码段进行分割处理,以获得若干基本块;基于操作语义遍历特征代码段中的基本块,以识别和分析特征代码段中的各种逻辑块;构建每一逻辑块内的以基本块为节点的控制流图以及所有逻辑块之间的调用关系图;将控制流图和调用关系图与预设的逻辑漏洞进行比对,以判断当前应用程序是否存在漏洞。上述方法提供了一种更高效、更精确的漏洞检测手段,特别适用于复杂的逻辑控制系统和大规模应用程序的安全性分析。

主权项:1.一种基于语义控制流的应用程序漏洞静态检测方法,其特征在于,包括:基于预设的特征语法符号集对待测应用程序的语法规则进行重新定义,以获得规则化的特征代码段,所述特征语法符号集描述的语法规则与上下文无关;定义一组基于操作语义的代码分割规则;采用所述代码分割规则对所述特征代码段进行分割处理,以获得若干基本块;基于操作语义遍历所述特征代码段中的所述基本块,以识别和分析所述特征代码段中的各种逻辑块,所述逻辑块为组织块、功能块、数据块中的任一种;以入口的所述逻辑块为起始点进行循环控制流分析,直至涵盖所有所述逻辑块,以构建每一所述逻辑块内的以所述基本块为节点的控制流图以及所有所述逻辑块之间的调用关系图;将所述控制流图和所述调用关系图与预设的逻辑漏洞进行比对,以判断当前所述应用程序是否存在漏洞。

全文数据:

权利要求:

百度查询: 深圳开源互联网安全技术有限公司 基于语义控制流的应用程序漏洞静态检测方法及系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。