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 <msmahind...@gmail.com>: > 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