Hi,
> On 07 Sep 2015, at 23:58, Bin Lin <[email protected]> wrote: > Dynamic libraries are loaded by KLEE using the usual mechanisms for finding dynamic libraries. In your case, you should make sure your library is found if not installed system wide, e.g. using export LD_RUN_PATH=“/path/to/lib” to point to the directory before executing KLEE. Please keep in mind, for your example: > > ./klee main.bc -load=<path-to-lib>/libfoo.so The ‘ -load=<path-to-lib>/libfoo.so’ is part of your arguments for your tested application not for KLEE. Cheers, Martin --------------------------------------------------- Martin Nowack Research Assistant Technische Universität Dresden Computer Science Institute of Systems Architecture Systems Engineering 01062 Dresden Phone: +49 351 463 39608 Email: [email protected] ----------------------------------------------------
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
