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

基于补丁及并发行为模式分析的内核数据竞争检测方法 

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

申请/专利权人:浙江大学;杭州优稳自动化系统有限公司

摘要:本发明公开了一种基于补丁及并发行为模式分析的内核数据竞争检测方法,通过对并发漏洞修复补丁进行分析,针对性地识别数据竞争检测分析对象;通过考虑安全影响一致性的并发行为模式分析,过滤良性数据竞争,准确识别有害数据竞争;通过与已知漏洞的并发行为模式比较进行数据竞争检测,数据竞争检测效率高、资源消耗小。本发明能够达到在大规模的内核代码中准确、高效地进行数据竞争检测的目的。

主权项:1.一种基于补丁及并发行为模式分析的内核数据竞争检测方法,其特征在于,包括:收集内核补丁,采用漏洞修复补丁识别工具及自然语言处理方法对所述内核补丁进行筛选,获得修复并发漏洞的内核补丁;对所述修复并发漏洞的内核补丁,提取补丁内并发函数及补丁内共享变量;对所述补丁内并发函数进行别名分析,获取该并发函数中的别名指针,所述别名指针为潜在共享变量,别名指针所在函数为潜在并发函数;对所述补丁内并发函数、补丁内共享变量、潜在共享变量及潜在并发函数,通过变量访问操作类型、控制流图、数据流图及内核同步原语进行并发行为模式分析;根据所述并发行为模式分析结果,进行并发行为模式比较,包括:1对所述潜在共享变量和补丁内共享变量,根据其所在函数的并发行为模式进行比较;2对所述潜在并发函数和补丁内并发函数,根据其函数内共享变量的并发行为模式进行比较;若并发行为模式相同,且两者没有被同种内核同步原语限制,则认为存在数据竞争,输出数据竞争检测报告。

全文数据:

权利要求:

百度查询: 浙江大学 杭州优稳自动化系统有限公司 基于补丁及并发行为模式分析的内核数据竞争检测方法

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