[klee-dev] Question about "-load" option

[Bin Lin]

Hi there,

I am trying to use KLEE to generate test cases for programs. Those programs
call library functions that are compiled as shared library. I was trying to
use "-load" option to load the shared library, but KLEE always says that
"ERROR: failed external call".

For example, I have program named main.c that is compiled to main.bc. In
main.c, function foo() is called that is defined in shared library, say,
libfoo.so. I use the following command to execute the program.

./klee main.bc -load=<path-to-lib>/libfoo.so

It says that "ERROR: (location information missing) failed external call:
foo"

Do I miss something here?

Thanks.

Bin Lin
-------------- next part --------------
HTML attachment scrubbed and removed