Re: Adding SONAME to a shared object in KLEE

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Hi, > E: klee: sharedobject-in-library-directory-missing-soname > usr/lib/libkleeRuntest.so N: N:A shared object was identified > in a library directory (a directory in N:the standard linker > path) which doesn't have a SONAME. This is usua

Re: Adding SONAME to a shared object in KLEE

Le 24/02/2016 08:30, Marko Dimjašević a écrit : > Which brings us back to the original question - how to add the SONAME > attribute to the library? Did you try what have been said in this thread? If yes, what did you do *exactly*? Else, why not? Regards, Vincent

Re: Adding SONAME to a shared object in KLEE

Hi Josselin, On Fri, 2016-02-19 at 12:51 +0100, Josselin Mouette wrote: > It looks to me that this file is not meant to be a shared library. I > don’t know what it is, but there are no associated headers and nothing > that looks like it could be linked against it. > > It’s not even clear you shou

Re: Adding SONAME to a shared object in KLEE

Hi Marko, Le jeudi 18 février 2016 à 10:43 -0700, Marko Dimjašević a écrit : > I would need help with fixing a SONAME issue with my ITP package. It's a > tool for development, which systematically explores as many as possible > execution paths in a given program, potentially triggering crashes > u

Re: Adding SONAME to a shared object in KLEE

Hi, Le 18/02/2016 22:58, Filippo Rusconi a écrit : > [ longish mail, bear with me ] Thank you for this long explaination. I just think there is a typo: [...] > How would we do that ? We need to tell the linker how to create the > library file: > > compilation flags to build your libkleeRuntes

Re: Adding SONAME to a shared object in KLEE

I don't know anything about this specific project, so I don't know whether you're an upstream or downstream developer. In general SONAMEs are something that should be managed upstream, to avoid incompatibility between distributions. If your upstream rejects reasonable patches, SONAMEs can be manage

Re: Adding SONAME to a shared object in KLEE

Hi Filippo, On Thu, 2016-02-18 at 22:58 +0100, Filippo Rusconi wrote: > [ longish mail, bear with me ] Thank you for this explanation! While I knew about symlinks between shared library files, your explanation made everything very clear! [...] > For each source package that contains a library

Re: Adding SONAME to a shared object in KLEE

[ longish mail, bear with me ] Greetings, Marko, On Thu, Feb 18, 2016 at 10:43:27AM -0700, Marko Dimjašević wrote: # Please CC me in replies as I'm not on d-devel Hi all, I would need help with fixing a SONAME issue with my ITP package. It's a tool for development, which systematically explo

Adding SONAME to a shared object in KLEE

# Please CC me in replies as I'm not on d-devel Hi all, I would need help with fixing a SONAME issue with my ITP package. It's a tool for development, which systematically explores as many as possible execution paths in a given program, potentially triggering crashes unknown before. The package