Bin Lin on 2015-09-08:
Hello Martin,
Thank you!
After I set the LD_RUN_PATH, what command should I use in my case? If I use
the command './klee main.bc -load=path-to-lib/libfoo.so', I still get the
same error. So how to load the dynamic library in my case?
Try these, maybe one will work:
LD_RUN_PATH=path-to-lib ./klee main.bc
./klee -load=path-to-lib/libfoo.so main.bc
In addition, I do not understand why the '-load=path-to-lib/libfoo.so' is
part of the arguments for my tested application not for KLEE. As far as I
know, KLEE has the '-load' option.
It's because of the order. If you use './klee main.bc -load=...', -load is
passed through to the application. If you use './klee -load=... main.bc', -load
is handled by KLEE.
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
