[klee-dev] A need for a shared library in KLEE

[Cristian Cadar]

Hi Marko,

This shared library is useful during replay, e.g., see the last section 
of Tutorial 1:
http://klee.github.io/tutorials/testing-function/

Best,
Cristian

On 23/02/16 03:33, Marko Dimjašević wrote:
> Dear KLEE authors and users,
>
> I've been working on creating a Debian package for KLEE and there is one
> issue I've been unable to resolve so far. It is related to a shared
> library.
>
> In particular, when I build the Debian package for KLEE, I see that
> there is only one shared object file:
>
> /usr/lib/libkleeRuntest.so
>
> However, there is also another file, which is, I assume, a static
> version of the same library:
>
> /usr/lib/libkleeRuntest.a
>
>
> Is the shared library version needed, i.e. is it meant to be used by
> other programs than KLEE? If I am not mistaken, there are no associated
> headers, which suggests it is not meant to be used by other programs.
>
>
> What led me to believe the shared library version is not needed is a
> discussion I started on the debian-devel mailing list:
>
> https://lists.debian.org/debian-devel/2016/02/msg00312.html
>
> If it is not needed, then this Github issue is obsolete:
>
> https://github.com/klee/klee/issues/237
>
>
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>