uCLibc support for klee

Hello,

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.

Is this still necessary for testing native Linux applications, and if
so, where do I get the uClibc source to compile?

Thanks in advance,
Donald

From: llvmdev-bounces@cs.uiuc.edu [mailto:llvmdev-bounces@cs.uiuc.edu]
On Behalf Of Donald Raikes
Subject: [LLVMdev] uCLibc support for klee

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.

That would be because it's not part of LLVM. You might want to try here:

http://www.uclibc.org/

- Chuck

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 Getting Started ยท KLEE for more information.

Sean Bartell

Sean,

Thank you for the link. I downloaded the klee-uClib code but it won't
compile :slight_smile: That has been the story of this project.
I will try to work around the errors and get it installed tomorrow,
but now I just need to get klee compiled and installed even without
the posix support.