Memory error in KLEE 1.2.0 or in KLEE-uClibc 1.0.0: libc/stdio/_vfprintf.c

[mdimjasevic]

I get the following error:

KLEE: ERROR: /home/docker/klee-1.2.0/tmp/klee-uclibc-klee_uclibc_v1.0.0/libc/stdio/_vfprintf.c:572: memory error: out of bound pointer

when I run KLEE on a program from dosfstools 3.0.27:

klee -max-time=30 -libc=uclibc --posix-runtime fatlabel.bc

This was with KLEE 1.2.0, KLEE-uClibc 1.0.0, and LLVM 3.4.2. The fatlabel.bc file is here:
fatlabel.bc.tar.gz.

[mdimjasevic]

Here is another, but smaller example: eject.bc.tar.gz. I also ran it in the same way as fatlabel.bc.

[MartinNowack]

Please have a look at the generated test case like in #404 (That's a good one).
And how did you compile your uclibc?

Thanks!

[mdimjasevic]

Hi @MartinNowack. This is how I compiled uClibc: https://gitlab.com/mdimjasevic/klee-packaging/blob/596910473f2b1ec4dbf24397c7488b193699c93b/debian/rules#L61

[ccadar]

I think we can close this one.