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

一种基于路径输入符号执行的漏洞警报初始排名方法 

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

申请/专利权人:东南大学

摘要:本发明提供了一种基于路径输入符号执行的漏洞警报初始排名方法,具体步骤包括:对待分析程序的中间表示进行漏洞识别得到漏洞警报;结合可满足性模理论对漏洞警报的路径进行分析,得到漏洞警报的路径可达性和漏洞模式满足性;根据漏洞警报的路径可达性对漏洞警报误报进行初步筛除,并根据基于路径输入符号评估并优化初步筛除的效果;根据漏洞警报的路径可达性、上下文敏感性、漏洞模式满足性计算路径为真的概率,根据概率对漏洞警报进行初始排名。本发明实现了对漏洞警报进行有效的初始排名,提高漏洞挖掘的效率。

主权项:1.一种基于路径输入符号执行的漏洞警报初始排名方法,其特征在于,包括如下步骤:对待分析程序的中间表示进行漏洞识别得到漏洞警报;结合可满足性模理论对漏洞警报的路径进行分析,得到漏洞警报的路径可达性和漏洞模式满足性;根据漏洞警报的路径可达性对漏洞警报误报进行初步筛除,并根据基于路径输入符号评估并优化初步筛除的效果;根据漏洞警报的路径可达性、上下文敏感性、漏洞模式满足性计算路径为真的概率,根据概率对漏洞警报进行初始排名。

全文数据:

权利要求:

百度查询: 东南大学 一种基于路径输入符号执行的漏洞警报初始排名方法

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