Re: [RFC PATCH] Coverage support

Ian Campbell
Mon, 04 Feb 2013 12:54:12 -0000

On Fri, 2013-02-01 at 15:46 +0000, Frediano Ziglio
wrote:
> 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.

Thanks, are you going to eventually post these for inclusion in the
tree? (tools/misc or somewhere perhaps).

Ian.