Re: [Xen-devel] [RFC PATCH] Coverage support

[Frediano Ziglio <frediano.ziglio@xxxxxxxxxx>]

On Fri, 2013-02-01 at 14:48 +0000, Frediano Ziglio wrote:
> Updated set of patches for coverage.
> Changes:
> - implemented way of getting information
> - use only 2 parameter in hypercall (still not sure it's better to use
>   sysctl)
> - use "coverage" for configuration option as suggested by Ian Campbell
> - split header in include/public/gcov.h and include/xen/gcov.h to allow
>   tools to include public header
> - use weak to avoid defining compat_coverage_op
> 
> I manage to write 2 tools, one that call the new hypercall and dump the
> blob in a file, one that split this file into required .gcda files. 
> Both very hack ones and dirty but works and prove the hypervisor code is 
> fine. Should I just send them anyway?
> 
> The forth patch allow to consume just 0 bytes if coverage is disabled.
> 

These are the two utilities. If anybody wants to try.

Frediano

Attachment: get_coverage.c
Description: get_coverage.c

Attachment: split_coverage.pl
Description: split_coverage.pl

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel