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

[Martin Nowack]

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 --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20150908/35735e74/attachment.sig>