1（Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology,Guilin 541004,China）
2（State Key Lab of Software Engineering,Wuhan University,Wuhan 430000,China）
Abstract：Dynamic symbolic execution replaces the symbolic variables in dynamic data structures and complex expressions with concrete values to simplify the path condition,but this method has a problem of path explosion.Aiming at the time consuming problem of path exploration and constraint solving in symbolic execution,a parallel dynamic symbolic execution method is proposed.Based on the Actor parallel model,this approach makes path exploration and constraint solving tasks in parallel execution in dynamic symbol execution run parallelly on multiple worker nodes,and enables the dynamic load balancing of node tasks based on the subtree shifting,which reduces the communication cost among nodes.Based on the above methods,we developed a parallel dynamic symbol execution tool Jdartparallel.Compared with dynamic symbol execution tool JDart.Jdartparallel improves the perfromace of symbolic execution significantly by using multiple worker nodes.
2018, Vol. 39 
