[klee-dev] KLEE unable to load a symbol

[Marko Dimjašević]

On Thu, 2016-05-26 at 15:30 -0600, Marko Dimjašević wrote:
> For example, these files from the apt package have the same issue:

> So I'd say the problem is quite common.

I ran KLEE without making anything symbolic on over 30 Debian source
packages and this really is a common problem. Pretty much every package
comes with more than one program, and with over half of the programs I
run into the issue.


-- 
Regards,
Marko Dimjašević <marko at cs.utah.edu> .   University of Utah
https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160527/6d3e0791/attachment.sig>