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

[Bin Lin]

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 <martin_nowack at tu-dresden.de>
wrote:

> Hi,
>
>
> > On 07 Sep 2015, at 23:58, Bin Lin <linbinmr at gmail.com> 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: martin_nowack at tu-dresden.de
> ----------------------------------------------------
>
>
-------------- next part --------------
HTML attachment scrubbed and removed