[klee-dev] Difficulty installing KLEE

[Vijay Ganesh]

Hi Cristian,

I managed to install KLEE without uclibc for now.

However, when I run 'make check' I get the following error:

KLEE: ERROR: error loading program '2012-05-13-asm-causes-aborts.c.tmp1.bc': Invalid bitcode signature

Any idea what is going on.

Cheers,
Vijay Ganesh.
________________________________________
From: Cristian Cadar [c.cadar at imperial.ac.uk]
Sent: Monday, November 04, 2013 4:06 PM
To: Vijay Ganesh
Cc: Vijay Ganesh; klee-dev
Subject: Re: Difficulty installing KLEE

Hi Vijay, please see this message from Dan:
http://www.mail-archive.com/klee-dev@imperial.ac.uk/msg01302.html

We should add a note on the website about this.

Best,
Cristian

On 04/11/2013 20:56, Vijay Ganesh wrote:
>
> Hi All,
>
> I am having difficulty installing the latest version of KLEE, or to be
> more precise LLVM.
>
> I am trying out llvm 2.9. I followed the instructions carefully. I am
> running 64-bit Linux Mint.
>
> I get the following compile errors:
>
> make[3]: Entering directory `/home/vganesh/llvm-2.9/lib/ExecutionEngine/JIT'
> llvm[3]: Compiling Intercept.cpp for Release+Asserts build
> In file included from JIT.h:17:0,
>                   from Intercept.cpp:18:
> /home/vganesh/llvm-2.9/include/llvm/ExecutionEngine/ExecutionEngine.h:
> In member function ‘virtual void*
> llvm::ExecutionEngine::getOrEmitGlobalVariable(const
> llvm::GlobalVariable*)’:
> /home/vganesh/llvm-2.9/include/llvm/ExecutionEngine/ExecutionEngine.h:343:45:
> warning: cast from type ‘const llvm::GlobalVariable*’ to type
> ‘llvm::GlobalValue*’ casts away qualifiers [-Wcast-qual]
> Intercept.cpp: In constructor ‘{anonymous}::StatSymbols::StatSymbols()’:
> Intercept.cpp:69:67: error: ‘lseek64’ was not declared in this scope
> /bin/rm: cannot remove
> ‘/home/vganesh/llvm-2.9/lib/ExecutionEngine/JIT/Release+Asserts/Intercept.d.tmp’:
> No such file or directory
> make[3]: ***
> [/home/vganesh/llvm-2.9/lib/ExecutionEngine/JIT/Release+Asserts/Intercept.o]
> Error 1
> make[3]: Leaving directory `/home/vganesh/llvm-2.9/lib/ExecutionEngine/JIT'
> make[2]: *** [JIT/.makeall] Error 2
> make[2]: Leaving directory `/home/vganesh/llvm-2.9/lib/ExecutionEngine'
> make[1]: *** [ExecutionEngine/.makeall] Error 2
> make[1]: Leaving directory `/home/vganesh/llvm-2.9/lib'
> make: *** [all] Error 1
>