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

[Mahinder.Shrivas]

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

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

[张雨姗]

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"<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

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

[Dan Liew]

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 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

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

[Chengyu Zhang]

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 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 programs. Can anyone suggest me
> what could be the problem please? Any kind of the suggestion would be great.
>
>
> *Below is the error I am getting while running the program : (2 Examples)*
>
>
> 1. klee@000ed980a7fe:~/klee_src/excel/report$ time klee
> -allow-external-sym-calls prime.c
>
> *KLEE: ERROR: error loading program 'prime.c': Invalid bitcode signature*
>
>
> real 0m0.006s
>
> user 0m0.000s
>
> sys 0m0.000s
>
>
>
> 2. klee@000ed980a7fe:~/klee_src/excel/report$ time klee
> -allow-external-sym-calls pallin.c
>
> *KLEE: ERROR: error loading program 'pallin.c': Invalid bitcode signature*
>
>
> real 0m0.007s
>
> user 0m0.000s
>
> sys 0m0.000s
>
>
>
> *Below is the version of my clang and klee : *
>
>
> *My version of clang is :*
>
> Mahinders-MacBook-Air:~ mahindershrivas$ clang --version
>
> Apple LLVM version 7.3.0 (clang-703.0.31)
>
> Target: x86_64-apple-darwin15.3.0
>
> Thread model: posix
>
> InstalledDir: /Library/Developer/CommandLineTools/usr/bin
>
>
> *My version of Klee is:*
>
>
> klee@000ed980a7fe:~/klee_src/excel/report$ klee -version
>
> KLEE 1.4.0.0 (https://klee.github.io)
>
>   Build mode: RelWithDebInfo (Asserts: TRUE)
>
>   Build revision: unknown
>
>
> LLVM (http://llvm.org/):
>
>   LLVM version 3.4
>
>
>
>   Optimized build.
>
>   Built Mar  5 2014 (17:05:10).
>
>   Default target: x86_64-pc-linux-gnu
>
>   Host CPU: x86-64
>
>
>
> Thank you so much.
>
>
>
> With kind regards,
>
> Mahinder.
>
>
>
>
>
>
> ___
> klee-dev mailing list
> klee-dev@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>


-- 
张枨宇   Chengyu Zhang
East China Normal University
School of Computer Science and Software Engineering
Tel: +86 18685412181
Mail: dale.chengyu.zh...@gmail.com
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

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

[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 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 programs. Can anyone suggest me
what could be the problem please? Any kind of the suggestion would be great.


*Below is the error I am getting while running the program : (2 Examples)*


1. klee@000ed980a7fe:~/klee_src/excel/report$ time klee
-allow-external-sym-calls prime.c

*KLEE: ERROR: error loading program 'prime.c': Invalid bitcode signature*


real 0m0.006s

user 0m0.000s

sys 0m0.000s



2. klee@000ed980a7fe:~/klee_src/excel/report$ time klee
-allow-external-sym-calls pallin.c

*KLEE: ERROR: error loading program 'pallin.c': Invalid bitcode signature*


real 0m0.007s

user 0m0.000s

sys 0m0.000s



*Below is the version of my clang and klee : *


*My version of clang is :*

Mahinders-MacBook-Air:~ mahindershrivas$ clang --version

Apple LLVM version 7.3.0 (clang-703.0.31)

Target: x86_64-apple-darwin15.3.0

Thread model: posix

InstalledDir: /Library/Developer/CommandLineTools/usr/bin


*My version of Klee is:*


klee@000ed980a7fe:~/klee_src/excel/report$ klee -version

KLEE 1.4.0.0 (https://klee.github.io)

  Build mode: RelWithDebInfo (Asserts: TRUE)

  Build revision: unknown


LLVM (http://llvm.org/):

  LLVM version 3.4



  Optimized build.

  Built Mar  5 2014 (17:05:10).

  Default target: x86_64-pc-linux-gnu

  Host CPU: x86-64



Thank you so much.



With kind regards,

Mahinder.
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev