[klee-dev] KLEE: ERROR: error loading program 'pallin.c': Invalid bitcode signature

[Dan Liew]

On 12 October 2017 at 08:49, Chengyu Zhang <dale.chengyu.zhang at gmail.com> wrote:
> Maybe you should run KLEE on .bc file generated by Clang rather than .c
> file.

To add to that you can't use "Apple Clang". You need to use a version
of Clang that uses the same
version of LLVM that KLEE was built with. In your case your version of
KLEE uses LLVM 3.4 so
you need to use Clang 3.4.

At a glance it looks like you're using Docker to run KLEE. So you
should probably invoke Clang inside
the Docker container to build your code.