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

2017-10-12 Thread Mahinder.Shrivas
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

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

2017-10-12 Thread 张雨姗
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 >

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

2017-10-12 Thread 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

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

2017-10-12 Thread 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

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

2017-10-12 Thread 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