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"<k
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
>
On 12 October 2017 at 08:49, Chengyu Zhang 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
Maybe you should run KLEE on .bc file generated by Clang rather than .c
file.
Cheers,
Chengyu
2017-10-12 15:44 GMT+08:00 Mahinder.Shrivas :
> Hi All,
>
> I am trying to run several programs but most of them showing me error as
> "Invalid bit code signature".
>
> I tried
Hi All,
I am trying to run several programs but most of them showing me error as
"Invalid bit code signature".
I tried seeing in the previous mail list and tried to follow it but I
couldn't able to figure out the problem. Most of my analysis has been
struck because i am not able to run the