[v2] update ecl configurations and deviations

[XEN PATCH][for-4.19 v2 0/2] update ecl configurations and deviations

Nicola Vetrini posted 2 patches 6 months, 3 weeks ago

Diff against v3
Download series mbox

Failed in applying to current master (apply log)

There is a newer version of this series

.../eclair_analysis/ECLAIR/deviations.ecl     | 135 +++++-----
automation/eclair_analysis/ECLAIR/tagging.ecl |   4 +-
docs/index.rst                                |   1 +
docs/misra/deviations.rst                     | 240 ++++++++++++++++++
docs/misra/rules.rst                          |   2 +-
5 files changed, 306 insertions(+), 76 deletions(-)
create mode 100644 docs/misra/deviations.rst

Expand all Fold all

[XEN PATCH][for-4.19 v2 0/2] update ecl configurations and deviations

Posted by Nicola Vetrini 6 months, 3 weeks ago

This series brings updates to the configuration of the ECLAIR static analysis
tool, as well as a new document detailing the deviations from MISRA guidelines
that have no noticeable indication in the source code, as detailed by Stefano
Stabellini here [1].

[1] https://marc.info/?l=xen-devel&m=169663845629358&w=2

Nicola Vetrini (1):
  docs/misra: add deviations.rst to document additional deviations.

Simone Ballarin (1):
  automation/eclair: update deviations and accepted guidelines

 .../eclair_analysis/ECLAIR/deviations.ecl     | 135 +++++-----
 automation/eclair_analysis/ECLAIR/tagging.ecl |   4 +-
 docs/index.rst                                |   1 +
 docs/misra/deviations.rst                     | 240 ++++++++++++++++++
 docs/misra/rules.rst                          |   2 +-
 5 files changed, 306 insertions(+), 76 deletions(-)
 create mode 100644 docs/misra/deviations.rst

--
2.34.1