[klee-dev] how to compile gnu utility 'find' using klee-gcc?

[Yi Zhou]

Hi,

I want to compile gnu utility 'find' to get an executed *.bc file, so I
use the following commands:

./configure CC=/path/to/klee-gcc LD=/path/to/llvm-ld
make
make install

However, at the end I did not get any *.bc file, and the generated file
'find' is said to "Invalid bitcode signature",but I can use the similar
configure command to compile bosybox successfully. where is the error, and
what should I do? Thank you all.

Yi Zhou
Institute Of Software
Chinese Academy of Sciences
-------------- next part --------------
HTML attachment scrubbed and removed