[klee-dev] klee and zcov/lcov
suhabe at stanford.edu
Sun Oct 11 17:41:32 PDT 2009
Thanks for the reply.
It looks like using these tools requires running the test cases
generated by KLEE natively on the original program instrumented using
gcov. Is there an automatic way to do this? If the model just dealt
with command line arguments, it may have been straightforward to
convert the test case files into command line arguments, but since the
model includes other things like the file system, I can't figure out
how the test cases could be fed back into the program natively.
On Sun, Oct 11, 2009 at 9:37 AM, Philip Guo <pg at cs.stanford.edu> wrote:
> scroll down to the tutorial section on zcov, and try zcov-scan and
> On Sun, Oct 11, 2009 at 4:53 AM, Suhabe Bugrara <suhabe at stanford.edu> wrote:
>> How can turn the .cov files generated by KLEE using the --write-cov
>> switch into zcov/lcov html files like the ones generated for KLEE
>> itself at the link below?
>> klee-dev mailing list
>> klee-dev at keeda.stanford.edu
More information about the klee-dev