Hi Stefano,
On 16/04/2024 20:27, Stefano Stabellini wrote:
Also add two specific project-wide deviations for R21.6 and R21.15.
In general, I am fine with add the two rules. However...
Signed-off-by: Stefano Stabellini <stefano.stabell...@amd.com>
diff --git a/docs/misra/deviations.rst b/docs/misra/deviations.rst
index 32b02905d1..9123c8edb5 100644
--- a/docs/misra/deviations.rst
+++ b/docs/misra/deviations.rst
@@ -387,6 +387,22 @@ Deviations related to MISRA C:2012 Rules:
of the Rule due to uses of this macro.
- Tagged as `deliberate` for ECLAIR.
+ * - R21.6
+ - The use of snprintf() and vsnprintf() is justifiable as, despite
+ the fact that such functions have the same names of the
+ corresponding standard library functions, each configuration of
+ Xen has a unique implementation for them; the code implementing
+ such functions is subject to the analysis, so that any undefined
+ or unspecified behavior associated to them falls under the
+ responsibility of other MISRA guidelines
+ - Tagged as `safe` for ECLAIR.
... this implies that ECLAIR should be modified. But this is not
happening in this patch. Looking at history, we tend to keep
deviations.rst in sync with ECLAIR, so I think it should be updated here
too.
Cheers,
--
Julien Grall
