分布式符号执行平台

摘要：

在软件工程学中,符号执行技术是一门高效的程序缺陷检测技术.符号执行使用符号值作为程序的输入,将程序的执行转变为相应符号表达式的操作,通过系统地遍历程序的路径空间,实现对程序行为的精确分析.然而,因受路径爆炸问题与约束求解问题的制约,符号执行技术也面临着可扩展性差的问题.为了在一定程度上缓解该问题,本文实现了一个分布式符号执行平台,该平台在调度算法的调度下将任务从主节点分发给多个工作节点,进而实现了任务的并行执行,降低了符号执行的时间开销.

关键词：并行符号执行、分布式系统、WEB平台、缺陷检测、KLEE

所属期刊栏目：25

分类号：TP3;TP2

资助基金：国家自然科学基金91118007

在线出版日期：2016-05-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：43-48