Abstract: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.