[klee-dev] failed external call: __overflow

[Hongxu Chen]

I'm following KLEE's "Coreutils Experiments" page(
http://ccadar.github.io/klee/CoreutilsExperiments.html) and try doing the
experiments. However for "[" case, there is an "external call error" and
the content of test000001.external.err is as belows:

Error: failed external call: __overflow
File: /usr/include/bits/stdio.h
Line: 91
Stack:
        #0 00000496 in test_syntax_error (format=63952512, arg=0) at
/usr/include/bits/stdio.h:91
        #1 00002460 in __user_main (margc=13, margv=52820880) at
/home/hongxu/moonbox/dryrun/test/coreutils/src-6.11/src/test.c:832
        #2 00008037 in __uClibc_main (argc=13, argv=52820880) at
/home/hongxu/moonbox/klee-uclibc-0.02-x64/libc/misc/internals/__uClibc_main.c:393
        #3 00013283 in main (=13, =52820880)

So I have 2 questions about it:
1. From "Tutorial Two"(http://ccadar.github.io/klee/Tutorial-2.html) I
learn that there are *ptr/**free/**abort/**assert/**div/**user/**exec/**model
*errors. I guess this error is about "exec" error, right? And it is a case
about "If the program actually ends up making a call to this function while
it is executing, KLEE won't be able to interpret it and may terminate the
program." in "Coreutils Case Study" page(
http://ccadar.github.io/klee/TestingCoreutils.html)?
2. Why there is such an external call error? Sorry I'm not so familiar with
libc; I just took a look at Line 91 in File "/usr/include/bits/stdio.h"(and
also stdio.h in klee-uclibc-0.02-x64) but didn't find "__overflow".

By the way, KLEE "Coreutils Study Case" page uses coreutils-6.11 to do the
experiments while in the paper it uses 6.10. So in order to reproduce the
bugs should I have to use coreutils-6.10 instead?

Best Regards,
Hongxu Chen
-------------- next part --------------
HTML attachment scrubbed and removed