[klee-dev] KLEE pthread support

[Dan Liew]

On 3 March 2015 at 06:45, Insu Yun <wuninsu at gmail.com> wrote:
> Dear all,
>
> I want to run KLEE on program with pthread. I know that
> cloud9(http://cloud9.epfl.ch/) supports pthread. However, it is built on
> old-version KLEE and the project is not active. Therefore I want to add
> pthread feature to KLEE.
>
> I analyzed cloud9 code and I made KLEE with single thread and single
> process. (As you know, KLEE has no concept of thread and process). Now I am
> trying to add pthread_create function support. For that, I copied a
> test(Runtime/Synchronization/Mutex.c) from cloud9. It gives me a following
> error.
>
> KLEE: WARNING: undefined reference to function: __xstat64

That's a warning and not an error. KLEE will emit this warning if your
LLVM IR references a function without a body.

Your problem is somewhere else.