[klee-dev] klee and zcov/lcov
daniel at zuster.org
Sun Oct 11 22:21:22 PDT 2009
This is what the klee-replay tool is for. See:
for a tutorial that covers all the necessary steps.
On Mon, Oct 12, 2009 at 3:41 AM, Suhabe Bugrara <suhabe at stanford.edu> wrote:
> 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
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
More information about the klee-dev