[klee-dev] coreutils on KLEE3.4

[Dan Liew]

On 18 March 2015 at 08:17, Zhiyi Zhang <xianlingzibiying at gmail.com> wrote:
> Hi all,
>
> I have built the KLEE3.4 on Ubuntu14.10 and the Tutorial get_sign and Regexp
> can also be run by KLEE3.4. I used clang to compile programs and run .bc
> file on KLEE.   However, when I built the coreutils on KLEE3.4 and make
> obj-llvm with makeCC=/full/path/to/klee/scripts/klee-gcc,it reports some
> errors. The errors are in enclosed in the attachment.

klee-gcc is only meant for llvm-gcc and not for clang, the fact it
worked probably suggests you have llvm-gcc on your PATH. llvm-gcc will
not produce LLVM bitcode that is compatible with KLEE compiled with
LLVM 3.4.

If you intend to use clang with KLEE then I would advise you use the
whole-program-llvm [1]
to build your application.


[1] https://github.com/travitch/whole-program-llvm

Thanks,
Dan.