[klee-dev] a question in linkwithuclibc

[Qixue Xiao]

In function linkWithUclibc in klee main.cpp, there is a code snippet
to strip of asm prefixes for 64 bit version.I want to hown how result
in this case in my program. and how to avoid it.

And there is a segment fault when klee run this case to strip lseek64
function, as follows:

KLEE: [xqx]uclibc: setenv
KLEE: [xqx]uclibc: die_if_ferror
KLEE: [xqx]uclibc: die_if_ferror_stdout
KLEE: [xqx]uclibc: xlseek
KLEE: [xqx]uclibc: lseek64

0  klee            0x0000000000d6eccf
1  klee            0x0000000000d6f1d9
2  libpthread.so.0 0x00002b9466875cb0
3  klee            0x0000000000d134e0 llvm::Value::getName() const + 0
4  klee            0x000000000054787d main + 7725
5  libc.so.6       0x00002b94674ba76d __libc_start_main + 237
6  klee            0x000000000053f0f9
Segmentation fault (core dumped)