On Thu, Nov 03, 2011 at 10:35:28AM +0100, Fabien Chouteau wrote: > On 03/11/2011 08:44, Stefan Hajnoczi wrote: > > On Wed, Nov 2, 2011 at 5:39 PM, Fabien Chouteau <chout...@adacore.com> > > wrote: > >> On 29/10/2011 15:52, Alexander Graf wrote: > > I took a quick peak at the qemu-trace.[ch] from couverture and it > > looks along the lines of the instrumentation that others have been > > doing too. I hope you have time to propose the coverage > > instrumentation for upstream QEMU. > > > > I don't know much about other instrumentations in Qemu (pointers are > welcome :), but what we have in couverture-qemu is not trivial, > especially when it comes to MC/DC analysis. You should take a look at > 201005-erts2.pdf if you want technical details.
My impression was that the QEMU portion of instrumentation was fairly simple - it writes out trace records at various interesting points during guest execution in TCG. I think fancy analysis scripts do not have to be part of QEMU but they could be added to scripts/ or put in a new contrib/ directory. On the train, can't access the PDF you mentioned right now. Stefan
