公开(公告)号：CN106649124B

公开(公告)日：2019-04-02

申请号：CN201611237624.0

申请日：2016-12-28

Applicant: 桂林电子科技大学

Inventor： 常亮 ,  张晓文 ,  古天龙 ,  贾向阳 ,  徐周波 ,  张舜尧

IPC: G06F11/36

Abstract: 本发明涉及一种基于Actor模型的并行动态符号执行方法和系统，方法包括将配置后的Actor模型的并行框架合并到修改后的动态符号执行工具中；Actor模型的多个工作节点通过通讯节点从预先构造的待求解路径栈中取出任务，并根据任务探索器获取所述任务的任务路径约束值；利用约束求解器对所述任务路径约束值进行求解，得到求解值Valuation；将求解值Valuation采用递归方式来代入所述待求解路径栈中的路径，生成待探索路径，将待探索路径存入预先构造的待探索路径栈中。本发明的提出一种并行动态符号执行方法，实现了两个层面上的并行，可以在多个节点上并行分析程序路径，可同次进行约束求解和路径探索，降低程序耗时，还可以加强测试大规模程序的能力。

公开(公告)号：CN106649124A

公开(公告)日：2017-05-10

申请号：CN201611237624.0

申请日：2016-12-28

Applicant: 桂林电子科技大学

Inventor： 常亮 ,  张晓文 ,  古天龙 ,  贾向阳 ,  徐周波 ,  张舜尧

IPC: G06F11/36

CPC classification number: G06F11/3688

Abstract: 本发明涉及一种基于Actor模型的并行动态符号执行方法和系统，方法包括将配置后的Actor模型的并行框架合并到修改后的动态符号执行工具中；Actor模型的多个工作节点通过通讯节点从预先构造的待求解路径栈中取出任务，并根据任务探索器获取所述任务的任务路径约束值；利用约束求解器对所述任务路径约束值进行求解，得到求解值Valuation；将求解值Valuation采用递归方式来代入所述待求解路径栈中的路径，生成待探索路径，将待探索路径存入预先构造的待探索路径栈中。本发明的提出一种并行动态符号执行方法，实现了两个层面上的并行，可以在多个节点上并行分析程序路径，可同次进行约束求解和路径探索，降低程序耗时，还可以加强测试大规模程序的能力。