Hi everyone when I test php.bc using klee , the error emerge below:
Terminator found in the middle of a basic block! label %if.else.i.i Broken module found, compilation aborted! 0 klee 0x0000000000fde322 llvm::sys::PrintStackTrace(_IO_FILE*) + 34 1 klee 0x0000000000fdd749 2 libpthread.so.0 0x00007f91e38fecb0 3 libc.so.6 0x00007f91e2b50425 gsignal + 53 4 libc.so.6 0x00007f91e2b53b8b abort + 379 5 klee 0x0000000000f8c958 6 klee 0x0000000000f9996d 7 klee 0x0000000000f71bcf llvm::FPPassManager::runOnFunction(llvm::Function&) + 607 8 klee 0x0000000000f71c3b llvm::FPPassManager::runOnModule(llvm::Module&) + 43 9 klee 0x0000000000f716d0 llvm::MPPassManager::runOnModule(llvm::Module&) + 688 10 klee 0x0000000000f718a5 llvm::PassManagerImpl::run(llvm::Module&) + 245 11 klee 0x00000000005f03cd llvm::Optimize(llvm::Module*) + 205 12 klee 0x00000000005ea3e2 klee::KModule::prepare(klee::Interpreter::ModuleOptions const&, klee::InterpreterHandler*) + 3666 13 klee 0x000000000059fbd6 klee::Executor::setModule(llvm::Module*, klee::Interpreter::ModuleOptions const&) + 214 14 klee 0x000000000057ed62 main + 3794 15 libc.so.6 0x00007f91e2b3b76d __libc_start_main + 237 16 klee 0x00000000005969e9 Stack dump: 0. Running pass 'Function Pass Manager' on module '/home/davis/klee/test-targets/php/sapi/cli/php.bc'. 1. Running pass 'Module Verifier' on function '@sqlite3PagerSharedLock' KLEE: watchdog exiting (no child) Is the problem from llvm/clang version or object itself?
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
