[klee-dev] Statement and Branch Coverage

[Zhiyi Zhang]

Hi,

I built Klee with LLVM3.4 and tried to do an experiment with Coreutils6.10.
After I generated test data by Klee, I tried to get the coverage
information about these test cases only for source files ( not including
lib files). And I have two questions about the coverage.

1, For branch coverage, I used *klee-stats *to get branch coverage
information. But the *B**cov *is right?  I have used klee-cde-package, and
the* Icov* and *Bcov* are same for each program in Coreutils6.10.

2, For statement coverage, since gcov is only used for files compiled by
gcc, but in my experiments, .bc files are generated by whole-program-llvm,
so gcov cannot be used to get statement coverage information.

Actually, I have used orders *klee-replay *and *gcov* to get statement
coverage information shown in
(*http://klee.github.io/tutorials/testing-coreutils/
<http://klee.github.io/tutorials/testing-coreutils/>)* . But when I used
*gcov*, such as* gcov echo*, the error message is

*echo.gcda: cannot open data file assuming not executed*

I have* .cvc* files, *.cov *files and *.ktest* files generated by Klee, so
how I get the statement coverage information only for source files?

Thank you!
Zhiyi Zhang
-------------- next part --------------
HTML attachment scrubbed and removed