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.
Suhabe On Sun, Oct 11, 2009 at 9:37 AM, Philip Guo <pg at cs.stanford.edu> wrote: > http://keeda.stanford.edu/wiki/Klee > > scroll down to the tutorial section on zcov, and try zcov-scan and > zcov-genhtml > > On Sun, Oct 11, 2009 at 4:53 AM, Suhabe Bugrara <suhabe at stanford.edu> > wrote: >> >> Hello, >> >> 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? >> >> http://t1.minormatter.com/~ddunbar/klee-cov/index.html >> >> Thanks. >> >> Suhabe >> _______________________________________________ >> klee-dev mailing list >> klee-dev at keeda.stanford.edu >> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
