分布式符号执行平台  

Distributed Symbolic Execution Platform

作　　者：孙盼盼[1] 董威[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073

出　　处：《计算机系统应用》2016年第4期43-48,共6页Computer Systems & Applications

基　　金：国家自然科学基金(91118007)

摘　　要：在软件工程学中,符号执行技术是一门高效的程序缺陷检测技术.符号执行使用符号值作为程序的输入,将程序的执行转变为相应符号表达式的操作,通过系统地遍历程序的路径空间,实现对程序行为的精确分析.然而,因受路径爆炸问题与约束求解问题的制约,符号执行技术也面临着可扩展性差的问题.为了在一定程度上缓解该问题,本文实现了一个分布式符号执行平台,该平台在调度算法的调度下将任务从主节点分发给多个工作节点,进而实现了任务的并行执行,降低了符号执行的时间开销.In software engineering, symbolic execution technology is an efficient program defect detection technology.Symbolic execution uses symbolic values as the inputs, which transforms the execution of the program into the corresponding symbolic expressions, and the precise analysis of the program behaviors is realized by systematacially traversing routing space. However, due to the restriction of the path explosion and constraint solving problems, symbolic execution technology has poor scalability. In order to mitigate the problem, this paper implemented a distributed symbolic execution platform which realized tasks parallelly execute and reduced the symbolic execution time overhead through a scheduling algorithm distributes tasks from master to slaves.

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

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]