KLEEWT: A parallel symbolic execution engine

Symbolic execution is increasingly being utilized in verification tools and software analysis. Despite its theoretical ability to explore all possible paths in the execution tree of a program under test, it is often a lengthy and resource-intensive process due to factors such as solver waiting time. One notable symbolic execution tool currently under active development is KLEE, an interpretation-based engine. We have extended this tool and introduced KLEEWT, a multi-threaded engine capable of parallelizing the symbolic execution process. Our results demonstrate that KLEEWT not only uses fewer resources compared to similar works like Cloud9, but also enhances the original KLEE's performance.