이원준
2014-05-11 16:08:13 UTC
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Discussion:
Daniel Liew
2014-05-11 18:54:39 UTC
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
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
