Hi Agan, I suspect something in the way you created php.bc . Are you using the same LLVM version as in KLEE? Are you running any custom passes (either in KLEE or via opt). Does llc php.bc (for example) work?
Paul On 7 May 2014, at 01:51, agan Davis <[email protected]> wrote: > 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
