I ran KLEE to test a http protocol parser. In the middle of symbolic execution by KLEE, it gave me the following message and halt. in the output directory, only files up to test00031.ktest. Is this a bug in KLEE?
KLEE: ERROR: klee-uclibc/libc/string/strcpy.c:27: memory error: out of bound pointer KLEE: NOTE: now ignoring this error at this location KLEE: WARNING: unable to write output test case, losing it KLEE: WARNING: error opening: *test000033*.ptr.err 0 klee 0x08bfb468 make: *** [test] Segmentation fault -- Heechul -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100716/38eb6081/attachment.html
