[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [XEN PATCH][for-4.19] domain: add ASSERT to help static analysis tools

To: xen-devel@xxxxxxxxxxxxxxxxxxxx
From: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
Date: Fri, 03 Nov 2023 19:08:55 +0100
Cc: sstabellini@xxxxxxxxxx, michal.orzel@xxxxxxx, xenia.ragiadakou@xxxxxxx, ayan.kumar.halder@xxxxxxx, consulting@xxxxxxxxxxx, jbeulich@xxxxxxxx, andrew.cooper3@xxxxxxxxxx, roger.pau@xxxxxxxxxx, George Dunlap <george.dunlap@xxxxxxxxxx>, Julien Grall <julien@xxxxxxx>, Wei Liu <wl@xxxxxxx>
Delivery-date: Fri, 03 Nov 2023 18:08:59 +0000
List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

On 2023-11-03 18:58, Nicola Vetrini wrote:

Static analysis tools may detect a possible null
pointer dereference at line 760 (the memcpy call)
of xen/common/domain.c. This ASSERT helps them in
detecting that such a condition is not possible
and also provides a basic sanity check.

Suggested-by: Julien Grall <julien@xxxxxxx>

Signed-off-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>


This should have been present as well, I forgot to add it.

--
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)

Follow-Ups:
- Re: [XEN PATCH][for-4.19] domain: add ASSERT to help static analysis tools
  - From: Stefano Stabellini

References:
- [XEN PATCH][for-4.19] domain: add ASSERT to help static analysis tools
  - From: Nicola Vetrini

Prev by Date: [XEN PATCH][for-4.19] xen: replace occurrences of SAF-1-safe with asmlinkage attribute
Next by Date: [libvirt test] 183668: tolerable all pass - PUSHED
Previous by thread: [XEN PATCH][for-4.19] domain: add ASSERT to help static analysis tools
Next by thread: Re: [XEN PATCH][for-4.19] domain: add ASSERT to help static analysis tools
Index(es):
- Date
- Thread

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.