1.一種基于Actor模型的并行動態(tài)符號執(zhí)行方法，其特征在于，包括如下步驟：
步驟A：將動態(tài)符號執(zhí)行工具的執(zhí)行方式設(shè)置為滿足并行框架執(zhí)行的需求；
步驟B：在Actor模型的并行框架中配置用于管理并行框架中各工作節(jié)點通訊的通訊節(jié)點，并將配置后的并行框架合并到修改后的動態(tài)符號執(zhí)行工具中；
步驟C：Actor模型的多個工作節(jié)點通過通訊節(jié)點從預(yù)先構(gòu)造的待求解路徑棧中取出任務(wù)，并根據(jù)任務(wù)探索器獲取所述任務(wù)的任務(wù)路徑約束值；
步驟D：利用約束求解器對所述任務(wù)路徑約束值進行求解，得到求解值Valuation；
步驟E：將求解值Valuation采用遞歸方式代入所述待求解路徑棧中的路徑，生成待探索路徑，將待探索路徑存入預(yù)先構(gòu)造的待探索路徑棧中。
2.根據(jù)權(quán)利要求1所述一種基于Actor模型的并行動態(tài)符號執(zhí)行方法，其特征在于，還包括步驟F：根據(jù)待探索路徑生成待測程序的測試用例，根據(jù)測試用例檢測待測程序中的漏洞。
3.根據(jù)權(quán)利要求1所述一種基于Actor模型的并行動態(tài)符號執(zhí)行方法，其特征在于，所述步驟A包括：所述動態(tài)符號執(zhí)行工具為Jdar工具，將動態(tài)符號執(zhí)行工具Jdar的模式設(shè)置為每次處理完一條路徑即結(jié)束的模式來滿足并行框架執(zhí)行的需求。
4.根據(jù)權(quán)利要求1所述一種基于Actor模型的并行動態(tài)符號執(zhí)行方法，其特征在于，所述步驟B包括：在Actor模型的并行框架中配置通訊節(jié)點Master，所述通訊節(jié)點Master用于管理并行框架中各工作節(jié)點通訊和信息交互，并將已配置通訊節(jié)點的并行框架合并到修改后的動態(tài)符號執(zhí)行工具的框架中，得到并行動態(tài)執(zhí)行工具。
5.根據(jù)權(quán)利要求1所述一種基于Actor模型的并行動態(tài)符號執(zhí)行方法，其特征在于，所述步驟C包括：啟動并行動態(tài)執(zhí)行工具中Actor模型的多個工作節(jié)點，所述多個工作節(jié)點通過通訊節(jié)點從預(yù)先構(gòu)造的待求解路徑棧中取出任務(wù)并將任務(wù)傳遞給任務(wù)探索器，所述任務(wù)探索器包括動態(tài)探索器和搜索器，動態(tài)探索器將任務(wù)中的并行任務(wù)重新分配給多個工作節(jié)點，搜索器在任務(wù)分配后的多個工作節(jié)點中獲取任務(wù)路徑約束值。
6.根據(jù)權(quán)利要求1所述一種基于Actor模型的并行動態(tài)符號執(zhí)行方法，其特征在于，所述步驟D包括：
步驟D1：將任務(wù)路徑約束值保存在預(yù)先構(gòu)造的約束求解值棧中；
步驟D2：將待求解路徑棧中的任務(wù)分割為多個任務(wù)片段，將任務(wù)片段分別與約束求解值棧中的任務(wù)路徑約束值進行比對，如果相同，則執(zhí)行步驟D3，否則執(zhí)行步驟D4；
步驟D3：從與任務(wù)路徑約束值相同的任務(wù)片段中提取參數(shù)值A(chǔ)；
步驟D4：利用約束求解器Z3對該任務(wù)片段進行求解，將求解數(shù)值記為B；
步驟D5：將各參數(shù)值A(chǔ)和各求解數(shù)值B進行集合，得到數(shù)組[A,B]，將數(shù)組[A,B]作為求解值Valuation。
7.根據(jù)權(quán)利要求1-6任一項所述一種基于Actor模型的并行動態(tài)符號執(zhí)行方法，其特征在于，所述步驟E包括：
步驟E1：將求解值Valuation采用遞歸方式依次代入待求解路徑棧的每條路徑，如果可滿足當(dāng)前路徑，則生成待探索路徑，再執(zhí)行下一條路徑，否則利用約束求解器Z3對求解值Valuation進行約束求解；
步驟E2：將待探索路徑存入預(yù)先構(gòu)造的待探索路徑棧中。
8.一種基于Actor模型的并行動態(tài)符號執(zhí)行系統(tǒng)，其特征在于，包括：
設(shè)置模塊，用于將動態(tài)符號執(zhí)行工具的執(zhí)行方式設(shè)置為滿足并行框架執(zhí)行的需求；
合并模塊，用于在Actor模型的并行框架中配置用于管理并行框架中各工作節(jié)點通訊的通訊節(jié)點，并將配置后的并行框架合并到修改后的動態(tài)符號執(zhí)行工具中；
任務(wù)求解模塊，用于Actor模型的多個工作節(jié)點通過通訊節(jié)點從預(yù)先構(gòu)造的待求解路徑棧中取出任務(wù)，并根據(jù)任務(wù)探索器獲取所述任務(wù)的任務(wù)路徑約束值；
求解模塊，用于利用約束求解器對所述任務(wù)路徑約束值進行求解，得到求解值Valuation；
任務(wù)探索模塊，用于將求解值Valuation采用遞歸方式來代入所述待求解路徑棧中的路徑，生成待探索路徑，將待探索路徑存入預(yù)先構(gòu)造的待探索路徑棧中。
9.根據(jù)權(quán)利要求8所述一種基于Actor模型的并行動態(tài)符號執(zhí)行系統(tǒng)，其特征在于，還包括檢測模塊，根據(jù)待探索路徑生成待測程序的測試用例，根據(jù)測試用例檢測待測程序中的漏洞。