友情链接:
配资风险 中国电信获得发明专利授权:“基于符号执行的路径搜索方法、装置以及存储介质”
2025-01-05本站消息,根据天眼查APP数据显示中国电信(601728)新获得一项发明专利授权,专利名为“基于符号执行的路径搜索方法、装置以及存储介质”,专利申请号为CN202011306026.0,授权日为2024年12月10日。 专利摘要:本公开提供了一种基于符号执行的路径搜索方法、装置以及存储介质,涉及计算机技术领域,其中的方法包括:采用基于代的路径遍历算法对被测试程序进行路径搜索,基于预设的路径优化函数以及路径选择规则在可执行路径中确定可供选择路径;对各个代的可供选择路径进行分束处理,生成捆绑束;基