<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Hi all,</div><div>I'm trying to use klee-uclibc and lli ( I want to use --force-interpreter ) together but I have a small problem. In the present case I'm trying to execute the following program:</div><div><br></div><div>#include<stdio.h><br>#include<stdlib.h><br><br>int main () {<br>   FILE *fp;<br>   char buffer[1];<br><br>   fp = fopen("/bin/ls", "rb");<br><br>   fread(buffer, 1, 1, fp);<br>   fclose(fp);<br><br>   printf("Read %d\n", buffer[0]);<br>   <br>   return(0);<br>}<br></div><div>I compile it using the following bash script:</div><div><br></div><div>#!/bin/bash<br><br>clang -emit-llvm -c fread.c<br>llvm-link fread.bc ../lib/fread.os ../lib/fread_unlocked.os ../lib/_stdio.os ../lib/errno.os -o fread-new.bc</div><div><br></div><div>Of course the os files were generated compiling klee-uclibc as described on their web page.</div><div><br></div><div>Unfrotunately the output is the following:</div><div><br></div><div>✗ lli --force-interpreter examples/fread-new.bc<br>Unknown constant pointer type!<br>UNREACHABLE executed at /home/alb/Desktop/code/llvm-6.0.1.src/lib/ExecutionEngine/ExecutionEngine.cpp:914!<br>LLVMSymbolizer: error reading file: No such file or directory<br>#0 0x0000000001765ee9 (lli+0x1765ee9)<br>#1 0x0000000001766099 (lli+0x1766099)<br>#2 0x0000000001764643 (lli+0x1764643)<br>#3 0x0000000001766424 (lli+0x1766424)<br>#4 0x00007f8c6200a890 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12890)<br>#5 0x00007f8c60ac8e97 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x3ee97)<br>#6 0x00007f8c60aca801 abort (/lib/x86_64-linux-gnu/libc.so.6+0x40801)<br>#7 0x00000000016d7150 (lli+0x16d7150)<br>#8 0x0000000001138d14 (lli+0x1138d14)<br>#9 0x00000000011500b8 (lli+0x11500b8)<br>#10 0x000000000115f1ef (lli+0x115f1ef)<br>#11 0x0000000001161e28 (lli+0x1161e28)<br>#12 0x0000000001150087 (lli+0x1150087)<br>#13 0x000000000115c74b (lli+0x115c74b)<br>#14 0x000000000114e957 (lli+0x114e957)<br>#15 0x00000000011689f2 (lli+0x11689f2)<br>#16 0x000000000116827d (lli+0x116827d)<br>#17 0x0000000001164535 (lli+0x1164535)<br>#18 0x0000000001163580 (lli+0x1163580)<br>#19 0x000000000114e197 (lli+0x114e197)<br>#20 0x0000000001135ba0 (lli+0x1135ba0)<br>#21 0x00000000008c729d (lli+0x8c729d)<br>#22 0x00007f8c60aabb97 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x21b97)<br>#23 0x00000000008c4f1a (lli+0x8c4f1a)<br>Stack dump:<br>0.    Program arguments: lli --force-interpreter examples/fread-new.bc <br>[1]    18381 abort (core dumped)  lli --force-interpreter examples/fread-new.bc</div><div><br></div><div>Any idea on how to fix it please?</div><div><br></div><div>Thanks<br></div></div></div></div></div>