MISRA C Rule 20.7 states: "The features of `<stdarg.h>' shall not be used".
The Xen community wants to avoid using variadic functions except for
specific circumstances where it feels appropriate by strict code review.
Functions hypercall_create_continuation and hypercall_xlat_continuation
are internal helpers made to break long running hypercalls into multiple
calls. They take a variable number of arguments depending on the original
hypercall they are trying to continue. Add SAF deviations for the aforementioned
functions.
Add deviation for printf()-like functions.
---
Changes in v2:
- replace "related to console output" with "printf()-like functions";
- replace "special hypercalls" with "internal helpers".
Simone Ballarin (2):
automation/eclair: add deviation for MISRA C:2012 Rule 17.1
xen: address violations of MISRA C Rule 17.1
.../eclair_analysis/ECLAIR/deviations.ecl | 26 +++++++++++++++++++
docs/misra/deviations.rst | 5 ++++
docs/misra/safe.json | 8 ++++++
xen/arch/arm/domain.c | 1 +
xen/arch/x86/hypercall.c | 2 ++
5 files changed, 42 insertions(+)
--
2.34.1