基于klee的源代码检测，目前主要做全局变量的检测