[klee-dev] KLEE unable to load a symbol

[Marko Dimjašević]

Hi Martin,

On Thu, 2016-05-26 at 22:21 +0200, Martin Nowack wrote:

> Can you send me a small file, with which it is happening. I’ll try to debug it.

I looked at about 10 files with the issue from the apt source package
and the one attached is the smallest. Hopefully it's not too big.

For example, these files from the apt package have the same issue:

apt.bc
gzip.bc
rsh.bc
ftp.bc
rred.bc
apt-helper.bc
apt-get.bc
apt-cache.bc
apt-config.bc
apt-cdrom.bc
apt-extracttemplates.bc
apt-ftparchive.bc

So I'd say the problem is quite common.


-- 
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: gzip.bc
Type: application/octet-stream
Size: 153984 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160526/1b15e7e7/attachment.obj>
-------------- 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/20160526/1b15e7e7/attachment.sig>