基于多Agent分布式调度的并行符号执行系统

摘要

本发明公开了一种基于多Agent调度的并行符号执行系统，包括：分布式调度与监控单元，用于对执行迹生成单元、符号执行单元和约束求解单元实现流水线并行调度，使得系统并行运行程度提高，负载均衡；执行迹生成单元，用于将具体输入驱动被测程序实际执行，检测是否产生异常，同时记录程序执行指令序列，通过分析转换生成中间语言表示形式的程序执行迹；符号执行单元，用于对程序执行迹进行符号化模拟执行，收集路径分支的约束条件，生成相应的约束表达式；约束求解单元，用于对约束表达式进行深度优先取反求解，生成新的输入样本，同时对取反的表达式进行标记，避免重复路径分析。本发明实现的任务调度策略可以实现流水并行，防止仅以程序执行子树为调度负载带来的负载不均衡问题。