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) _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
