[klee-dev] Klee and gmock error

[Scholz, Niklas]

Hi all,


I'm trying to use klee and gmock together. Therefore, I have a sample project which uses gmock and I compiled it with clang, linked it with gmock and gtest and ran it with klee. But I always get the following error (even with different sample projects):


KLEE: ERROR: /home/niklas/gmock-1.7.0/build/../gtest/src/gtest.cc<http://gtest.cc/>:1667: memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location

KLEE: done: total instructions = 815
KLEE: done: completed paths = 1
KLEE: done: generated tests = 1
0  libLLVM-3.4.so.1 0x00007f560a25c042 llvm::sys::PrintStackTrace(_IO_FILE*) + 34
1  libLLVM-3.4.so.1 0x00007f560a25be34
2  libpthread.so.0  0x00007f560915f340
3  libpthread.so.0  0x0000000000e3f940
Segmentation fault (core dumped)

Is there a way to use gmock and klee together? Thanks in advance.

Regards,
Niklas




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