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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
