[klee-dev] No gcda files created for certain coreutils programs in cde package

[David Gloe]

Hello again,

It seems that the gcda file locations are set up differently for some of 
the different coreutils programs:
david at 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 at 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 at 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 at david-ThinkPad-T410:~/klee-cde-package/cde-root/home/pgbovine/coreutils-6.11/obj-llvm/src$ 
> cd ../../obj-gcov/src
> david at 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 at 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 at 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
gloex003 at umn.edu david at cs.umn.edu dcgloe at gmail.com
Masters Student, Computer Science
University of Minnesota