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? 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. Thanks. Best, Bin Lin On Tue, Sep 8, 2015 at 2:31 AM, Martin Nowack <[email protected]> wrote: > 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] > ---------------------------------------------------- > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
