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ć <ma...@cs.utah.edu> . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
