[klee-dev] KLEE Crashes while running

[Hooman]

Dear all,

I am running KLEE on some test harness. After generating couple of early
test cases, it crashes with the following error:

klee: /home/hooman/klee/lib/Solver/Z3Solver.cpp:279: bool
klee::Z3SolverImpl::internalRunSolver(const klee::Query&, const
std::vector<const klee::Array*>*, std::vector<std::vector<unsigned char>
 >*, bool&): Assertion
`builder->constant_array_assertions.count(constant_array) == 1 &&
"Constant array found in query, but not handled by Z3Builder"' failed.
LLVMSymbolizer: error reading file: No such file or directory
#0 0x00007fe823b4d0ea llvm::sys::PrintStackTrace(llvm::raw_ostream&)
(/usr/lib/llvm-6.0/lib/libLLVM-6.0.so.1+0x81e0ea)
#1 0x00007fe823b4b366 llvm::sys::RunSignalHandlers()
(/usr/lib/llvm-6.0/lib/libLLVM-6.0.so.1+0x81c366)
#2 0x00007fe823b4b49b (/usr/lib/llvm-6.0/lib/libLLVM-6.0.so.1+0x81c49b)
#3 0x00007fe82280af20 (/lib/x86_64-linux-gnu/libc.so.6+0x3ef20)
#4 0x00007fe82280ae97 gsignal
/build/glibc-OTsEL5/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0 

#5 0x00007fe82280c801 abort
/build/glibc-OTsEL5/glibc-2.27/stdlib/abort.c:81:0
#6 0x00007fe8227fc39a __assert_fail_base
/build/glibc-OTsEL5/glibc-2.27/assert/assert.c:89:0
#7 0x00007fe8227fc412 (/lib/x86_64-linux-gnu/libc.so.6+0x30412)
#8 0x0000562a5c05c603 (klee+0xfa603)
#9 0x0000562a5c060242 (klee+0xfe242)
#10 0x0000562a5c060a2a (klee+0xfea2a)
#11 0x0000562a5c05e7e5 (klee+0xfc7e5)
#12 0x0000562a5c0531c9 (klee+0xf11c9)
#13 0x0000562a5c01ca10 (klee+0xbaa10)
#14 0x0000562a5bfe36d5 (klee+0x816d5)
#15 0x0000562a5bfec8f7 (klee+0x8a8f7)
#16 0x0000562a5bff151d (klee+0x8f51d)
#17 0x0000562a5bff1df9 (klee+0x8fdf9)
#18 0x0000562a5bfc32cc (klee+0x612cc)
#19 0x00007fe8227edb97 __libc_start_main
/build/glibc-OTsEL5/glibc-2.27/csu/../csu/libc-start.c:344:0
#20 0x0000562a5bfcf7aa (klee+0x6d7aa)
Aborted (core dumped)



Here's the installation specification:

KLEE 2.2-pre (https://klee.github.io)
   Build mode: RelWithDebInfo (Asserts: ON)
   Build revision: bb933726973a7fbdbc59953dfe7ca4cfc242e971

LLVM (http://llvm.org/):
   LLVM version 6.0.0

   Optimized build.
   Default target: x86_64-pc-linux-gnu
   Host CPU: ivybridge

Z3 version 4.8.6 - 64 bit


Any help is appreciated.


Cheers,

Hooman