[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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




Reply to: