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

[张雨姗]

It's horrible if you try to install KLEE on Mac OSX machines, the default compile chaining is customized by Apple and it's hard to manage your environment. Please try using the docker image by following the tutorial on the official website. And also you should use *.bc file to feed into KLEE. 


I recommend this tutorial for you, good luck!
 
Yushan




------------------ Original ------------------
From:  "Dan Liew"<dan at su-root.co.uk>;
Date:  Thu, Oct 12, 2017 04:51 PM
To:  "Chengyu Zhang"<dale.chengyu.zhang at gmail.com>; 
Cc:  "klee-dev"<klee-dev at imperial.ac.uk>; 
Subject:  Re: [klee-dev] KLEE: ERROR: error loading program 'pallin.c':Invalid bitcode signature

 
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.

_______________________________________________
klee-dev mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
-------------- next part --------------
HTML attachment scrubbed and removed