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"<[email protected]>;
Date: Thu, Oct 12, 2017 04:51 PM
To: "Chengyu Zhang"<[email protected]>;
Cc: "klee-dev"<[email protected]>;
Subject: Re: [klee-dev] KLEE: ERROR: error loading program 'pallin.c':Invalid
bitcode signature
On 12 October 2017 at 08:49, Chengyu Zhang <[email protected]> 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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
