On 08/09/2023 08:33, Jan Beulich wrote:
On 08.09.2023 02:20, Stefano Stabellini wrote:
On Fri, 1 Sep 2023, Nicola Vetrini wrote:
+Documentation for MISRA C:2012 Dir 4.1: read from uninitialized
allocated object
+________________________________________________________________________________
+
+To be written.
+Example:
+The code does not use dynamically allocated storage.
We do use dynamically allocated storage with xzalloc but xzalloc
initializes the object to zero
Just at the example of this: I'm not sure in how far the examples given
were actually meant to (remotely) apply to our code base. As to your
reply - there's also xmalloc() which doesn't, and the page allocator,
and other more specialized ones.
You're right in saying that these examples are not tied to Xen
specifically, these categories
of runtime failures are just the default ones present in ECLAIR. Both
the matched text and
the categories can be amended, if the community deems it valuable.
--
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)
