Xen FuSa Meeting Nov 17 minutes

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxx>]

Hi all,

These are the minutes from today's meeting (Tue November 17).

Cheers,

Stefano

---

#  MISRA Compliance 2020

David Ward gave a clear presentation on MISRA Compliance 2020. It
supersedes previous compliance and deviation mechanisms and provides a
rigorous framework to handle compliance, re-categorization (i.e.
Advisory->Required) and deviations. It includes a set of permits, which
are common deviation cases.

Input:
- MISRAC
- guideline enforcement plan (including the tools to use)
    - used to be called compliance matrix
    - for each guideline what method we use to demonstrate we comply
- guideline re-categorization plan
    - some required can me made mandatory
    - some advisory can be made mandatory, required or disappear
    - cannot remove a required guideline
- permits
    - common deviation cases

Output:
- guideline compliance summary
- approved deviations
- permits

ACTION(David): send slides to the list


# ARMClang

ACTION(Bertrand): send license to Artem
ACTION(Bertrand): invite compilers guys to a Xen FuSa meeting


# MISRAC Checkers

We briefly touched on tools to check for MISRAC.  SonarCloud has very
limited MISRAC support. cppcheck claims to have 143 rules covered and
seems promising. More investigation is required.

Stefano showed a diagram on how to potentially integrate MISRAC checkers
in Xen Project's processes using the gitlab CI-loop, so that they can be
automatically called on patch series submissions, locally by
contributors, and automatically by the CI-loop.

ACTION(Artem,Francesco): continue investigation on MISRAC checkers that
could be called automatically from the CI-loop and configured with a
provided list of deviations.

Bertrand is going to provide an update on Doxygen during the next
meeting.