专利名称：一种符号执行方法、装置及系统专利类型：发明专利 发明人：忽朝俭，曲富平，左磊，赵粮，薛一波申请号：CN201210540027.0
申请日：20121213
公开号：CN103019862A
公开日：
20130403
专利内容由知识产权出版社提供
摘要：本发明公开了一种符号执行方法、装置及系统，主要内容包括：应用于包含负载均衡器和至少两个控制器的系统中，控制器执行待测试程序中的某条路径的同时将待测试程序中与该路径相关的路径进行分解，生成路径种子，并将生成的路径种子发送至负载均衡器，由负载均衡器将路径种子分发给多个空闲的控制器。通过本发明实施例的方案，一方面由于采用了分布式并行方式对待测试程序进行符号执行分析，有效解决了基于生成的符号执行中遇到的路径爆炸问题；另一方面，负载均衡器仅需保存路径种子，占用的内存资源较少，且每个分布式控制器在执行完本次的符号执行任务后就释放了占用的内存资源，因此有效地解决了资源耗尽问题。 申请人：北京神州绿盟信息安全科技股份有限公司，北京神州绿盟科技有限公司 地址：100089 北京市海淀区北洼路4号益泰大厦三层
国籍：CN
代理机构：北京同达信恒知识产权代理有限公司
代理人：郭红丽
豫公网安备41160202000603
站长QQ:729038198
关于我们
投诉建议