[klee-dev] (no subject)

[agan Davis]

Hi everyone

when I test some objects, it comes across the problem below:

klee: ModuleUtil.cpp:435: llvm::Function*
klee::getDirectCallTarget(llvm::CallSite): Assertion `0 && "FIXME:
Unresolved direct target for a constant expression."' failed.
0  klee            0x0000000000fde322 llvm::sys::PrintStackTrace(_IO_FILE*)
+ 34
1  klee            0x0000000000fdd749
2  libpthread.so.0 0x00002b0e978ffcb0
3  libc.so.6       0x00002b0e9855b425 gsignal + 53
4  libc.so.6       0x00002b0e9855eb8b abort + 379
5  libc.so.6       0x00002b0e985540ee
6  libc.so.6       0x00002b0e98554192
7  klee            0x00000000005ecf1c
klee::getDirectCallTarget(llvm::CallSite) + 220
8  klee            0x00000000005cb712
klee::StatsTracker::computeReachableUncovered() + 258
9  klee            0x00000000005cce0b
klee::StatsTracker::StatsTracker(klee::Executor&, std::string, bool) + 1291
10 klee            0x000000000059fc46
klee::Executor::setModule(llvm::Module*, klee::Interpreter::ModuleOptions
const&) + 326
11 klee            0x000000000057ed62 main + 3794
12 libc.so.6       0x00002b0e9854676d __libc_start_main + 237
13 klee            0x00000000005969e9
KLEE: watchdog exiting (no child)

Hoping someone give me help.

Thanks
Davis
-------------- next part --------------
HTML attachment scrubbed and removed