Symbolic execution for LLVM traces produced by PANDA - View it on GitHub