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

Mahinder.Shrivas msmahinder2 at gmail.com
Fri Oct 13 04:17:03 BST 2017


Thanks Dan. I am invoking clang inside the docker only. Also, I will now
update the same version for both. Thanks Yushan. I had the many problems
installing klee on my mac machine then I installed it through docker only.
I am following the tutorial and it is helpful.

Thanks guys, really appreciate your advice.

With kind regards,
Mahinder.


On Thu, Oct 12, 2017 at 8:57 PM, 张雨姗 <zhangyushan at sbrella.com> wrote:

>
> 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
> <http://klee.github.io/docker/> on the official website. And also you
> should use *.bc file to feed into KLEE.
>
> I recommend this tutorial
> <http://klee.github.io/tutorials/testing-coreutils/> 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
>
> _______________________________________________
> 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


More information about the klee-dev mailing list