[klee-dev] KLEE crashes on global STL variable

[Jonathan Neuschäfer]

On Thu, Feb 21, 2013 at 04:26:11PM -0500, Bowen Zhou wrote:
> Hello,
> 
> KLEE crashes in exiting a program with global STL variable. Such as
> the following example:
> 
> #include <vector>
> std::vector<int> v;
> int main() {}
> 
> KLEE outputs:
> KLEE: done: total instructions = 53
> KLEE: done: completed paths = 1
> KLEE: done: generated tests = 0
> 0  klee            0x0000000000d9439f
> 1  klee            0x0000000000d962fa
> 2  libpthread.so.0 0x000000367320f500
> 3  libpthread.so.0 0x00000000030b10e0

Can you try running KLEE inside gdb to get a readable backtrace?


Thanks,
Jonathan Neuschäfer