<div dir="ltr"><br>Hi Everybody,<br><br>I compiled <span class="il">Python</span> with <span class="il">llvm</span>-gcc to 
generate <span class="il">LLVM</span> bitcode to be run on top of <span class="il">KLEE</span>. Though <span class="il">python</span>.bc gets 
generated successfully, <span class="il">KLEE</span> throws a bunch of warnings during 
execution. Moreover, there's an <span class="il">LLVM</span> <span class="il">error</span> at the end that causes <span class="il">KLEE</span> 
to abort: <span style="color:rgb(255,0,0)">"LVM <span class="il">ERROR</span>: invalid argument to evalConstant()".</span> Does anybody have any clue on this?<br><br><span class="il">KLEE</span>: WARNING ONCE: function "PyOS_string_to_double" has inline asm<br><span class="il">KLEE</span>: WARNING ONCE: function "PyOS_double_to_string" has inline asm<br><span class="il">KLEE</span>: WARNING: undefined reference to function: __ctype_b_loc<br><span class="il">KLEE</span>: WARNING: undefined reference to function: __finite<br><span class="il">KLEE</span>: WARNING: undefined reference to function: __isinf<br><span class="il">KLEE</span>: WARNING: undefined reference to function: __xstat64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: alarm<br><span class="il">KLEE</span>: WARNING: undefined reference to function: atan2<br><span class="il">KLEE</span>: WARNING: undefined reference to function: bind_textdomain_codeset<br><span class="il">KLEE</span>: WARNING: undefined reference to function: bindtextdomain<br><span class="il">KLEE</span>: WARNING: undefined reference to function: copysign<br><span class="il">KLEE</span>: WARNING: undefined reference to function: cos<br><span class="il">KLEE</span>: WARNING: undefined reference to function: dcgettext<br><span class="il">KLEE</span>: WARNING: undefined reference to function: dgettext<br><span class="il">KLEE</span>: WARNING: undefined reference to function: dlerror<br><span class="il">KLEE</span>: WARNING: undefined reference to function: dlopen<br><span class="il">KLEE</span>: WARNING: undefined reference to function: dlsym<br><span class="il">KLEE</span>: WARNING: undefined reference to function: exp<br><span class="il">KLEE</span>: WARNING: undefined reference to function: fabs<br><span class="il">KLEE</span>: WARNING: undefined reference to function: faccessat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: fchmodat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: fchownat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: fdopendir<br><span class="il">KLEE</span>: WARNING: undefined reference to function: fexecve<br><span class="il">KLEE</span>: WARNING: undefined reference to function: floor<br><span class="il">KLEE</span>: WARNING: undefined reference to function: fmod<br><span class="il">KLEE</span>: WARNING: undefined reference to function: forkpty<br><span class="il">KLEE</span>: WARNING: undefined reference to function: fstat64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: fstatat64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: futimens<br><span class="il">KLEE</span>: WARNING: undefined reference to function: getitimer<br><span class="il">KLEE</span>: WARNING: undefined reference to function: getpgid<br><span class="il">KLEE</span>: WARNING: undefined reference to function: getresgid<br><span class="il">KLEE</span>: WARNING: undefined reference to function: getresuid<br><span class="il">KLEE</span>: WARNING: undefined reference to function: getsid<br><span class="il">KLEE</span>: WARNING: undefined reference to function: gettext<br><span class="il">KLEE</span>: WARNING: undefined reference to function: hypot<br><span class="il">KLEE</span>: WARNING: undefined reference to function: linkat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: log<br><span class="il">KLEE</span>: WARNING: undefined reference to function: lseek64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: lstat64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: lutimes<br><span class="il">KLEE</span>: WARNING: undefined reference to function: mkdirat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: mkfifoat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: mknodat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: modf<br><span class="il">KLEE</span>: WARNING: undefined reference to function: nice<br><span class="il">KLEE</span>: WARNING: undefined reference to function: openat64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: openpty<br><span class="il">KLEE</span>: WARNING: undefined reference to function: posix_fadvise64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: posix_fallocate64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: pow<br><span class="il">KLEE</span>: WARNING: undefined reference to function: pread64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: pwrite64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: readlinkat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: readv<br><span class="il">KLEE</span>: WARNING: undefined reference to function: renameat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: round<br><span class="il">KLEE</span>: WARNING: undefined reference to function: sendfile64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: setegid<br><span class="il">KLEE</span>: WARNING: undefined reference to function: seteuid<br><span class="il">KLEE</span>: WARNING: undefined reference to function: setitimer<br><span class="il">KLEE</span>: WARNING: undefined reference to function: setregid<br><span class="il">KLEE</span>: WARNING: undefined reference to function: setreuid<br><span class="il">KLEE</span>: WARNING: undefined reference to function: sigaltstack<br><span class="il">KLEE</span>: WARNING: undefined reference to function: sin<br><span class="il">KLEE</span>: WARNING: undefined reference to function: stat64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: symlinkat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: textdomain<br><span class="il">KLEE</span>: WARNING: undefined reference to function: truncate64<br><span class="il">KLEE</span>: WARNING: undefined reference to function: utimensat<br><span class="il">KLEE</span>: WARNING: undefined reference to function: writev<br><span style="color:rgb(255,0,0)">LVM <span class="il">ERROR</span>: invalid argument to evalConstant()</span><br clear="all"><br>-- <br><div class="gmail_signature"><div dir="ltr"><span><div class="gmail_signature"><div dir="ltr"><p>Thanks & Regards,</p>
<div>Dipanjan</div></div></div></span></div></div>
</div>