[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 at 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 at 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 at 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.
-------------- next part --------------
HTML attachment scrubbed and removed