符号执行的并行路径搜索方法及装置

摘要

本发明提供的符号执行的并行路径搜索方法及装置，通过采用对获取程序的控制流图进行规约处理，获得控制流图的路径二叉树；选取路径二叉树中的任意一路径，并获得路径对应的约束条件的真值序列；沿对真值序列中的各约束真值逆序取反，获得多个路径前缀；根据路径二叉树确定每个路径前缀对应的多个预测路径，为每个路径前缀分配一个线程，以使对多个预测路径同时进行路径搜索的方式，从而实现对多个路径的并行搜索，从而有效提高了搜索效率，降低搜索难度。