[LLVMdev] uCLibc support for klee

[Sean Bartell]

Hello,

Donald Raikes on 2015-04-06:
>In my reading over the last couple of days, I have read that in order
>for klee to work with "native" Linux programs, I need to install the
>uClibc posix support for klee.
>
>I am not finding the uClibc  source in the llvm svn repository anywhere.

You need a specific version of uclibc to work with Klee: 
https://github.com/klee/klee-uclibc

See https://klee.github.io/getting-started/ for more information.

Sean Bartell