Hello, I have been playing around with coreutils and uclibc from the klee tutorial. I noticed that while the exe produced by klee-gcc can be run via lli, but when I manually linked in libc from the klee version of uclibc with the exe, the output exe is no longer runnable (it segfaults). But I thought klee does the linking too when it initializes, so I am curious what's the difference between the linking done by klee and that done by llvm-ld, and why that linking must be done via klee rather than providing klee with a linked exe?
Thanks, Alvin
