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, 张雨姗 <zhangyus...@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"<d...@su-root.co.uk>; > *Date: * Thu, Oct 12, 2017 04:51 PM > *To: * "Chengyu Zhang"<dale.chengyu.zh...@gmail.com>; > *Cc: * "klee-dev"<klee-dev@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.zh...@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@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > _______________________________________________ > klee-dev mailing list > klee-dev@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev