龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
申请/专利权人：浙江大学;杭州优稳自动化系统有限公司
申请日：2024-03-28
公开（公告）日：2024-06-11
公开（公告）号：CN118171284A
主分类号：G06F21/57
分类号：G06F21/57;G06F18/20
优先权：
专利状态码：在审-实质审查的生效
法律状态：2024.06.28#实质审查的生效;2024.06.11#公开
摘要：本发明公开了一种基于补丁及并发行为模式分析的内核数据竞争检测方法，通过对并发漏洞修复补丁进行分析，针对性地识别数据竞争检测分析对象；通过考虑安全影响一致性的并发行为模式分析，过滤良性数据竞争，准确识别有害数据竞争；通过与已知漏洞的并发行为模式比较进行数据竞争检测，数据竞争检测效率高、资源消耗小。本发明能够达到在大规模的内核代码中准确、高效地进行数据竞争检测的目的。
主权项：1.一种基于补丁及并发行为模式分析的内核数据竞争检测方法，其特征在于，包括：收集内核补丁，采用漏洞修复补丁识别工具及自然语言处理方法对所述内核补丁进行筛选，获得修复并发漏洞的内核补丁；对所述修复并发漏洞的内核补丁，提取补丁内并发函数及补丁内共享变量；对所述补丁内并发函数进行别名分析，获取该并发函数中的别名指针，所述别名指针为潜在共享变量，别名指针所在函数为潜在并发函数；对所述补丁内并发函数、补丁内共享变量、潜在共享变量及潜在并发函数，通过变量访问操作类型、控制流图、数据流图及内核同步原语进行并发行为模式分析；根据所述并发行为模式分析结果，进行并发行为模式比较，包括：1对所述潜在共享变量和补丁内共享变量，根据其所在函数的并发行为模式进行比较；2对所述潜在并发函数和补丁内并发函数，根据其函数内共享变量的并发行为模式进行比较；若并发行为模式相同，且两者没有被同种内核同步原语限制，则认为存在数据竞争，输出数据竞争检测报告。
全文数据：
权利要求：
百度查询： 浙江大学;杭州优稳自动化系统有限公司 基于补丁及并发行为模式分析的内核数据竞争检测方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号