[klee-dev] KLEE unable to load a symbol

[Marko Dimjašević]

Hi Andrea,

On Fri, 2016-05-27 at 18:47 +0100, Andrea Mattavelli wrote:
> just to be sure that everything works as expected, have you tried to
> run it (with your infrastructure) on Coreutils? Since we know that KLEE
> works on those programs, it might be a good cross-checking experiment.

It's not reported on Coreutils 8.23.

Grepping the output for "KLEE: ERROR" when executed on Coreutils, this
is what I get:

KLEE: ERROR: /tmp/buildd/coreutils-8.23/src/runcon.c:176: failed
external call: getcon
KLEE: ERROR: /tmp/buildd/coreutils-8.23/src/id.c:116: failed external
call: is_selinux_enabled
KLEE: ERROR: /tmp/buildd/coreutils-8.23/src/install.c:791: failed
external call: is_selinux_enabled
KLEE:
ERROR: /home/docker/klee-1.2.0/tmp/klee-uclibc-klee_uclibc_v1.0.0/libc/inet/socketcalls.c:362: inline assembly is unsupported
KLEE: ERROR: /tmp/buildd/coreutils-8.23/src/mv.c:357: failed external
call: is_selinux_enabled
KLEE: ERROR: /tmp/buildd/coreutils-8.23/lib/getfilecon.c:77: failed
external call: lgetfilecon
KLEE: ERROR: /tmp/buildd/coreutils-8.23/src/cp.c:939: failed external
call: is_selinux_enabled


These are obviously different errors, but I'd like to understand them at
some point too.


-- 
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/171072fc/attachment.sig>