Hello again,
It seems that the gcda file locations are set up differently for some of
the different coreutils programs:
david@david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src$
strings ./uname | grep gcda
/home/david/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src/uname.gcda
david@david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src$
strings ./tty | grep gcda/home/pgbovine/coreutils-6.11/obj-gcov/src/tty.gcda
So when I run uname, the gcda file ends up in
/home/david/klee-cde-package/cde-root/home/david/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src/uname.gcda
rather than
home/david/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src/uname.gcda
as it should.
Perhaps the cde should be updated so the gcda files consistently go to
the right directories?
Anyway, now I will try to just copy the gcda file into the right
directory and then run gcov.
-David
On 05/04/2013 04:02 PM, David Gloe wrote:
Hello,
I'm not getting any gcda files created for some coreutils programs
using the CDE package. I'm on a 64 bit Ubuntu 12.04 system. For
example, here's what happened for uname:
david@david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-llvm/src$
klee.cde --optimize --libc=uclibc --posix-runtime --init-env
--max-sym-array-size=512 ./uname.bc --sym-args 0 1 2
That command created 323 test files.
david@david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-llvm/src$
cd ../../obj-gcov/src
david@david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src$
klee-replay.cde ./uname ../../obj-llvm/src/klee-last/*.ktest
david@david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src$
ls *.gcda
ls: cannot access *.gcda: No such file or directory
david@david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-gcov/src$
gcov.cde -b uname
uname.gcno:version '406*', prefer '403R'
uname.gcda:cannot open data file, assuming not executed
File '../../src/uname.c'
Lines executed:0.00% of 88
Branches executed:0.00% of 63
Taken at least once:0.00% of 63
Calls executed:0.00% of 40
../../src/uname.c:creating 'uname.c.gcov'
File '../../src/system.h'
Lines executed:0.00% of 3
No branches
Calls executed:0.00% of 1
../../src/system.h:creating 'system.h.gcov'
This happened for chroot as well. Has anyone else run into this issue,
or know how to fix it? I haven't found anything by googling.
Thanks,
David G.
--
David Gloe
[email protected] [email protected] [email protected]
Masters Student, Computer Science
University of Minnesota
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
