[klee-dev] segFault

[Bin Lin]

Thanks.

The LLVM version is 2.9. STP is the recommended version on the homepage of
KLEE. The compiler I used to build the LLVM bitcode is llvm-gcc / llvm-g++
(the behavior is the same), which is also downloaded following the
instruction on the homepage. I used Release+Asserts to build. The
architecture is x86 and OS is Ubuntu 13.10

The backtrace in GDB is as follows. And the source file is attached. Thank
you so much.

GNU gdb (GDB) 7.6.1-ubuntu
Copyright (C) 2013 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html
>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "x86_64-linux-gnu".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from
/home/blin/Documents/projects/linbin-sefsystemc/klee/src/klee/Release+Asserts/bin/klee...done.
(gdb) r virtual.bc
Starting program:
/home/blin/Documents/projects/linbin-sefsystemc/klee/src/examples/virtualF/../../klee/Release+Asserts/bin/klee
virtual.bc
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".
KLEE: output directory is
"/home/blin/Documents/projects/linbin-sefsystemc/klee/src/examples/virtualF/klee-out-1"
KLEE: WARNING: undefined reference to function: _ZNSolsEi
KLEE: WARNING: undefined reference to function: _ZNSt8ios_base4InitC1Ev
KLEE: WARNING: undefined reference to function: _ZNSt8ios_base4InitD1Ev
KLEE: WARNING: undefined reference to variable: _ZSt4cout
KLEE: WARNING: undefined reference to function:
_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
KLEE: WARNING: undefined reference to function: __cxa_atexit
KLEE: WARNING: undefined reference to variable: __dso_handle
KLEE: WARNING: undefined reference to function: pthread_cancel
KLEE: WARNING: undefined reference to function: pthread_create
KLEE: WARNING: undefined reference to function: pthread_getspecific
KLEE: WARNING: undefined reference to function: pthread_key_create
KLEE: WARNING: undefined reference to function: pthread_key_delete
KLEE: WARNING: undefined reference to function: pthread_mutex_init
KLEE: WARNING: undefined reference to function: pthread_mutex_lock
KLEE: WARNING: undefined reference to function: pthread_mutex_trylock
KLEE: WARNING: undefined reference to function: pthread_mutex_unlock
KLEE: WARNING: undefined reference to function: pthread_mutexattr_destroy
KLEE: WARNING: undefined reference to function: pthread_mutexattr_init
KLEE: WARNING: undefined reference to function: pthread_mutexattr_settype
KLEE: WARNING: undefined reference to function: pthread_once
KLEE: WARNING: undefined reference to function: pthread_setspecific
KLEE: WARNING ONCE: calling external: _ZNSt8ios_base4InitC1Ev(23373264)
KLEE: WARNING ONCE: calling external: __cxa_atexit(22093072, 0, 23373792)
KLEE: WARNING ONCE: calling external:
_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(23374656, 23375824)
KLEE: WARNING ONCE: calling external: _ZNSolsEi(23374656, 2)
b1->f() = 2
b2.f() = 2
b3.f() = 1

KLEE: done: total instructions = 123
KLEE: done: completed paths = 1
KLEE: done: generated tests = 1

Program received signal SIGSEGV, Segmentation fault.
0x0000000001511d10 in ?? ()
(gdb) c
Continuing.
0  klee            0x0000000000d66f4f
1  klee            0x0000000000d67459
2  libpthread.so.0 0x00002aaaaacdfbb0
3  libpthread.so.0 0x0000000001511d10

Program received signal SIGSEGV, Segmentation fault.
0x0000000001511d10 in ?? ()
(gdb)


On Tue, Oct 21, 2014 at 2:21 AM, Daniel Liew <daniel.liew at imperial.ac.uk>
wrote:

> > Does anyone have any idea what is going on?  BTW, I didn't use any stuff
> > related to pthread. Thanks a lot.
>
> Nobody will be able to help because you have given no where near
> enough information to deduce the problem.
>
> - Include the "simple C++ program" source code (either as an
> attachment or on something like Pastebin or Gist)
> - Tell us the LLVM version you built KLEE against
> - Tell us the STP version you built KLEE against
> - Tell us the compiler you used to build the LLVM bitcode
> - Tell us what build mode you used (e.g. Debug+Asserts, Release, ... etc)
> - Tell us the architecture and OS you are running on (e.g. Ubuntu 14.04
> i686)
> - Give a proper backtrace by running KLEE in GDB
>
> > BTW, I didn't use any stuff related to pthread
>
> Yes but LLVM does.
>
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: virtual.cpp
Type: text/x-c++src
Size: 396 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20141021/32b52d52/attachment.bin>