[klee-dev] How can I fixed "cannot find linker input '/lib/libc.a' ?

[Daniel Liew]

You are not using upstream KLEE! The error location (ModuleUtils.cpp:51)
does not correspond to the current KLEE source code [1]. You should use
upstream KLEE!

Make sure you configure KLEE with klee-uclibc support otherwise you will
get that error with older builds of KLEE. For your reference I fixed this
in [2].

[1] https://github.com/klee/klee/blob/master/lib/Module/ModuleUtil.cpp#L51
[2]
https://github.com/klee/klee/commit/23225879b4e36c7926bc86dc22b4a6690fd0df4e


On 11 May 2014 17:08, 이원준 <net_abc at nate.com> wrote:

>   Im using ubuntu 13.10  64bit
>
>
> http://puu.sh/8IaZz.png
>
>
>
> this is my error how can i fix it?
>
-------------- next part --------------
HTML attachment scrubbed and removed