[klee-dev] klee failed external call: ftw

[Cristian Cadar]

Hi, we have an open issue about fscanf:
https://github.com/klee/klee/issues/30
You might want to document the ftw issue there too.

Cristian

On 07/04/14 20:09, Daniel Guo wrote:
> Hi guys,
>
> I have a program running the program "pfscan" on klee.
> I can compile pfscan via regular make and then run it, however, when i
> move to klee, it always gives me an error "Error: failed external call:
> ftw".
> The function "ftw" is from "/usr/include/ftw.h" (but klee-uclibc also
> have one copy in "uclibc_dir/include") and pfscan uses it to extract the
> search directory and invoke the callback func.
>
> Is klee able to handle this function call?
> If not, how can i do to figure it out? use similar function to replace
> "ftw"?
>
> I also have a "failed external function call" on the function "fscanf",
> then i use "fread" instead of "fscanf" and it works.
>
>
> Thank you~!
>
> Daniel.
>
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>