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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
