使用KLEE Docker image进行程序分析