[klee-dev] Add a C++ file for klee's POSIX library

[Randall]

Hello eyeryone.

                I have met a problem while adding a c++ library which uses
STL. So I get these error as follow:

                ...

                ...

Unable to find size for global variable:  _ZNSs4_Rep20_S_empty_rep_storageE
(use will result in out of bounds access)

...

...

KLEE: ERROR:
/usr/lib/gcc/i686-linux-gnu/4.8/../../../../include/c++/4.8/ostream:565:
memory error: out of bound of pointer

KLEE: NOTE: now ignoring this error at this location

 

KLEE: done: total instructions = 4088

KLEE: done: completed paths = 1

KLEE: done: generated tests = 1

0  klee 0x08c22b1f llvm::sys::PrintStackTrace(_IO_FILE*) + 47

1  klee 0x08c22d8f

2  klee 0x08c22734

3       0xb774c400 __kernel_sigreturn + 0

4       0x09e55ed8 __kernel_sigreturn + 1383111384

Segment fault(core dump)

 

So I want to know what happened ?

 

Thanks in advance.

 

Randall

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