KLEE crashes on global STL variable

[Bowen Zhou]

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

Cheers,
Bowen Zhou

[Jonathan Neuschäfer]

Post by Bowen Zhou
Hello,
KLEE crashes in exiting a program with global STL variable. Such as
#include <vector>
std::vector<int> v;
int main() {}
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