Re: Xen FuSa Meeting Agenda Jan 12 8AM California / 4PM UK

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxx>]

On Mon, 11 Jan 2021, Stefano Stabellini wrote:
> Hi all,
> 
> Happy New Year everyone! I hope you all had a good break.
> 
> The agenda for tomorrow's Xen FuSa meeting is:
> 
> - progress on the Doxygen patch series for Xen
> - Xen with ARMClang updates
> - cppcheck and other MISRAC Checkers
> 
> Feel free to suggest additional topics.


These are the minutes from today's call, thank you all for attending!


# Xen with ARMClang updates

ACTION(Artem): send out the latest version of the patches


# Doxygen

Check with David if anonymous union can be supported by MISRA.
But even if they can be supported, Doxygen doesn't support them, and
other safety standard don't support them.

ACTION(Luca): send out updated series


# MISRAC Checkers & Rules

We need to evaluate the rules that are applicable first; then select the
tools that can check for them. It is OK if the tool doesn't cover them
all.  We should be very transparent about what is checked and what is
not checked.

We should also cover any additional specific rules for Xen development.
We might be able to tailor out some MISRA rules because the issues are
already covered by Xen specific rules.

We might not be able to check for all the rules with a single tool.
We'll probably end up with a combination of gcc, cppcheck, and others.

ACTION(Francesco): share the initial spreadsheet of MISRA rules on
cryptpad.fr for others to start identifying a subset that is relevant

Identify first a set of 10-20 rules that are interesting. Specify for
each of them the checking tool and whether they need upstream changes.

Another checker we could use is the paid version of Coverity. Maybe
somebody in the community can use their Coverity to check upstream Xen.

ACTION(Bertrand): check if Arm has access to Coverity, as potential
                  additional tool to use for checking