[klee-dev] (no subject)

[Paul Marinescu]

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 <agandavis at gmail.com> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev