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 at cs.uiuc.edu [mailto:llvmdev-bounces at 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 https://klee.github.io/getting-started/ for more information. Sean Bartell
Sean, Thank you for the link. I downloaded the klee-uClib code but it won't compile :-) 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. On 4/6/15, Sean Bartell <sean at yotann.org> wrote:> > 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 >