Re: [XEN PATCH 1/3] docs/misra: add documentation skeleton for MISRA C:2012 Dir 4.1

[Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>]

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)