auto unit test tools using llvm & clang klee