1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

基于符号执行的路径搜索方法、装置以及存储介质.pdfVIP

  • 4
  • 0
  • 约1.28万字
  • 约 12页
  • 2023-05-10 发布于四川
  • 举报

基于符号执行的路径搜索方法、装置以及存储介质.pdf

    本公开提供了一种基于符号执行的路径搜索方法、装置以及存储介质，涉及计算机技术领域，其中的方法包括：采用基于代的路径遍历算法对被测试程序进行路径搜索，基于预设的路径优化函数以及路径选择规则在可执行路径中确定可供选择路径；对各个代的可供选择路径进行分束处理，生成捆绑束；基于与可供选择路径相对应的束内系数和束外系数，对捆绑束以及捆绑束内的可供选择路径进行排序处理；将捆绑束内的可供选择路径以及对应的路径约束输出至求解器，生成新的输入。本公开的方法、装置以及存储介质，对基于代的路径策略算法进行优化，可以增

    (19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 114518999 A (43)申请公布日 2022.05.20 (21)申请号 202011306026.0 (22)申请日 2020.11.19 (71)申请人 中国电信股份有限公司 地址 100

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >