Then compile `gcc` project into bitcode by `clang` use flag `--with-gcc-toolchain`. And add white or black list for flags in KleeGenerator.cpp:128