[Xen-devel] xen-mfndump xch bug (was Re: New Defects reported by Coverity Scan for XenProject)

[Ian Jackson <Ian.Jackson@xxxxxxxxxxxxx>]

scan-admin@xxxxxxxxxxxx writes ("New Defects reported by Coverity Scan for 
XenProject"):
___________________________
> *** CID 1191885:  Dereference after null check  (FORWARD_NULL)
> /tools/misc/xen-mfndump.c: 401 in main()
> 400         xch = xc_interface_open(0, 0, 0);
> >>>     CID 1191885:  Dereference after null check  (FORWARD_NULL)
> >>>     Comparing "xch" to null implies that "xch" might be null.
> 401         if ( !xch )
> 402         {
> 403             ERROR("Failed to open an xc handler");

This complaint is accurate.  ERROR uses xch.  (This is IMO not a
security problem.)

Furthermore, I was rather startled to discover that xen-mfndump.c
#includes <xc_private.h>.

Thanks,
Ian.

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