Displaying 1 result from an estimated 1 matches for "yotann".
Did you mean:
otann
2015 Apr 06
3
[LLVMdev] 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