龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
申请/专利权人：南开大学
申请日：2024-04-03
公开（公告）日：2024-07-05
公开（公告）号：CN118295913A
主分类号：G06F11/36
分类号：G06F11/36
优先权：
专利状态码：在审-实质审查的生效
法律状态：2024.07.23#实质审查的生效;2024.07.05#公开
摘要：一种分支状态引导的混合模糊测试方法，涉及软件安全领域。包括以下步骤：第1步、获取覆盖信息；第2步、计算分支平均覆盖次数；第3步、记录不可解分支；第4步、分支筛选。该方法通过快同步机制，将模糊测试生成的所有测试用例的覆盖信息实时同步给符号执行引擎，使得符号执行引擎能够减少对高频分支的约束求解。其次，该方法在符号执行过程中会对求解失败的分支进行记录，在之后的测试过程中不再对这些“不可解”分支进行重复约束求解。于是，该方法能够让符号执行专注于那些低频且可解的分支，从而在相同时间内覆盖到更多代码，大大提升了测试效率。
主权项：1.一种分支状态引导的混合模糊测试方法，其特征在于，在混合模糊测试中增加状态图来记录分支的覆盖状态和约束求解状态，从而为符号执行过程提供指导。在符号执行过程中，依据状态图，过滤掉高频分支和不可解分支，只对低频并且可解的分支应用约束求解；包括以下步骤：第1步、获取覆盖信息；第2步、计算分支平均覆盖次数；第3步、记录不可解分支；第4步、分支筛选。
全文数据：
权利要求：
百度查询： 南开大学 一种分支状态引导的混合模糊测试方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号