On Fri, Aug 08, 2014 at 09:45:09AM +0200, Pino Toscano wrote:
> Unless, of course, the analyser has some override to know that.

Coverity is quite flexible and allows you to add "models" for various
things, even when the code itself is wrong or has missing attributes
as in this case.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v

_______________________________________________
Libguestfs mailing list
[email protected]
https://www.redhat.com/mailman/listinfo/libguestfs

Reply via email to