Research on Parallel Symbolic Execution through Program Dependence Analysis

Through program dependence analysis, the method of parallel symbolic execution based on reduction about program execution path family was proposed. Firstly, instruction statements which affect on the symbolic value were extracted according to data dependency. Then the key branch conditions controlling these statements were located and connected. Thus the reduction algorithm from multiple paths of which symbolic values are all the same to path families was was designed and implemented. Finally, path family chain was built and parallel symbolic execution was realized. The experimental results show that the method promotes parallel processing ability and test efficiency, compared with common parallel scheduling policy of allocating program execution path.