Re: [Xen-devel] [PATCH] fix potential null dereference

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Mon, 15 Jan 2018, Jan Beulich wrote:
> >>> On 13.01.18 at 07:21, <julien.grall@xxxxxxxxxx> wrote:
> > On 01/12/2018 11:40 PM, Stefano Stabellini wrote:
> >> handles can theoretically be NULL, check for it explicitly before
> >> dereferencing it.
> > 
> > I doubt handles could be NULL if LocateHandle succeed. This seems to be 
> > confirmed by the spec (Page 208 in UEFI spec 2.7).
> > 
> > So I am not entirely convince we should add yet another check in the 
> > code. An ASSERT might be better.
> 
> Indeed if there is a platform where NULL is coming back in the
> success case, that platform should be named as a justification
> in the commit message. Otherwise I don't see the value of this
> change.

Truthfully, it is mostly to silence Coverity. We can all appreciate when
static analysts cannot find defects in the code.

An ASSERT should satisfy it as well.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel