公开(公告)号：CN103019862B

公开(公告)日：2015-08-19

申请号：CN201210540027.0

申请日：2012-12-13

Applicant: 北京神州绿盟信息安全科技股份有限公司 ,  北京神州绿盟科技有限公司

Inventor： 忽朝俭 ,  曲富平 ,  左磊 ,  赵粮 ,  薛一波

IPC: G06F9/50 ,  G06F21/56

Abstract: 本发明公开了一种符号执行方法、装置及系统，主要内容包括：应用于包含负载均衡器和至少两个控制器的系统中，控制器执行待测试程序中的某条路径的同时将待测试程序中与该路径相关的路径进行分解，生成路径种子，并将生成的路径种子发送至负载均衡器，由负载均衡器将路径种子分发给多个空闲的控制器。通过本发明实施例的方案，一方面由于采用了分布式并行方式对待测试程序进行符号执行分析，有效解决了基于生成的符号执行中遇到的路径爆炸问题；另一方面，负载均衡器仅需保存路径种子，占用的内存资源较少，且每个分布式控制器在执行完本次的符号执行任务后就释放了占用的内存资源，因此有效地解决了资源耗尽问题。

公开(公告)号：CN103019862A

公开(公告)日：2013-04-03

申请号：CN201210540027.0

申请日：2012-12-13

Applicant: 北京神州绿盟信息安全科技股份有限公司 ,  北京神州绿盟科技有限公司

Inventor： 忽朝俭 ,  曲富平 ,  左磊 ,  赵粮 ,  薛一波

IPC: G06F9/50 ,  G06F21/56

Abstract: 本发明公开了一种符号执行方法、装置及系统，主要内容包括：应用于包含负载均衡器和至少两个控制器的系统中，控制器执行待测试程序中的某条路径的同时将待测试程序中与该路径相关的路径进行分解，生成路径种子，并将生成的路径种子发送至负载均衡器，由负载均衡器将路径种子分发给多个空闲的控制器。通过本发明实施例的方案，一方面由于采用了分布式并行方式对待测试程序进行符号执行分析，有效解决了基于生成的符号执行中遇到的路径爆炸问题；另一方面，负载均衡器仅需保存路径种子，占用的内存资源较少，且每个分布式控制器在执行完本次的符号执行任务后就释放了占用的内存资源，因此有效地解决了资源耗尽问题。