公开(公告)号：CN110033405B

公开(公告)日：2020-11-06

申请号：CN201910213435.7

申请日：2019-03-20

Applicant: 上海交通大学

Inventor： 陈典章 ,  王夏阳 ,  陈海波 ,  臧斌宇

IPC: G06T1/20 ,  G06F9/50

Abstract: 本发明提供了一种基于图像处理器加速的符号执行方法及系统，包括：符号执行分解步骤：将符号执行分解为可并行化部分和非并行化部分；任务分配步骤：将可并行化部分分配给GPU并行化执行，将非可并行化部分分配给CPU执行。本发明利用GPU的内核数量多、并行度高的特性去并行地执行简单的指令解析过程，以缓解路径爆炸问题从而加速符号执行。

公开(公告)号：CN110033405A

公开(公告)日：2019-07-19

申请号：CN201910213435.7

申请日：2019-03-20

Applicant: 上海交通大学

Inventor： 陈典章 ,  王夏阳 ,  陈海波 ,  臧斌宇

IPC: G06T1/20 ,  G06F9/50

Abstract: 本发明提供了一种基于图像处理器加速的符号执行方法及系统，包括：符号执行分解步骤：将符号执行分解为可并行化部分和非并行化部分；任务分配步骤：将可并行化部分分配给GPU并行化执行，将非可并行化部分分配给CPU执行。本发明利用GPU的内核数量多、并行度高的特性去并行地执行简单的指令解析过程，以缓解路径爆炸问题从而加速符号执行。