Re: [klee-dev] About klee error while compiling

[Marek Chalupa]

And -c option to clang, so that it won't try to call linker.

On 21 January 2015 at 18:50, Dan Liew d...@su-root.co.uk wrote:

 You're missing several things

 * The -emit-llvm command line argument to clang (the most important
 thing here, you're not trying to build a native binary here)
 * -I/path/to/klee_source/include command line argument to clang

 to clang

 and in your source a  #include klee/klee.h

 ___
 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] About klee error while compiling

[Dan Liew]

You're missing several things

* The -emit-llvm command line argument to clang (the most important
thing here, you're not trying to build a native binary here)
* -I/path/to/klee_source/include command line argument to clang

to clang

and in your source a  #include klee/klee.h

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

[klee-dev] About klee error while compiling

[Peidong Chen]

Hello,

I installed llvm-3.4 following the instructions in
http://klee.github.io/experimental/ . And I followed the instructions in
tutorial.
The error is
$clang-3.4 get_sign.c

/tmp/get_sign-2a1cd5.o: In function `main':
get_sign.c:(.text+0x78): undefined reference to `klee_make_symbolic'
clang: error: linker command failed with exit code 1

This is get_sign.c
int get_sign(int x) {
  if (x == 0)
return 0;

  if (x  0)
return -1;
  else
return 1;
}
int main() {
  int a;
  klee_make_symbolic(a, sizeof(a), a);
  return get_sign(a);
}
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev