Distributed symbolic execution for binary software testing

Despite more than three decades of independent, academic, and industry-related research on symbolic execution, it is still difficult applying symbolic execution to real-world software testing, especially to binary software. The emergence of more and more cloud computing platforms makes it feasible to scale this technique using the concept of distributed computing. In this paper, we proposed a distributed symbolic execution approach, which is a novel schema for scaling symbolic execution to real-world binary software testing. We design our method in peer-to-peer way,that is to say, the work node can do the task alone or together, so it can make full use of the elasticity of cloud computing. Also a prototype system is implemented, which is built based on the S2E platform using its plug-in structure. The evaluation shows that our method can be used to test real-world binary software more efficiently.