面向软件脆弱性的并行检测系统相关技术研究与实现

软件脆弱性作为信息安全问题的根源之一，对信息安全构成了严重威胁。当前，普遍使用的符号执行技术受限于运算复杂度和计算能力，无法实现大规模应用。为此课题组提出了基于动态符号执行的软件脆弱性并行检测系统。并行调度是软件脆弱性并行检测系统的关键技术之一，与系统的检测效率紧密相关。本文提出了基于节点状态的子系统调度算法和基于路径广度优先遍历的任务调度算法，分别实现了并行系统的子系统调度和任务调度。两个算法在实现上简单易行，并且具有很高的效率。本文对具体编程的细节进行了介绍和分析。