uck!
>
> Yushan
>
>
> -- Original --
> *From: * "Dan Liew";
> *Date: * Thu, Oct 12, 2017 04:51 PM
> *To: * "Chengyu Zhang";
> *Cc: * "klee-dev";
> *Subject: * Re: [klee-dev] KLEE: ERROR: error loading program
> 'pallin.c
into KLEE.
I recommend this tutorial for you, good luck!
Yushan
-- Original --
From: "Dan Liew";
Date: Thu, Oct 12, 2017 04:51 PM
To: "Chengyu Zhang";
Cc: "klee-dev";
Subject: Re: [klee-dev] KLEE: ERROR: error loading progr
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 with. In your case your version
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 seeing in the previous ma
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 progr