From patchwork Wed Mar 20 08:50:58 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Simone Ballarin X-Patchwork-Id: 13597572 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 59A9DC54E67 for ; Wed, 20 Mar 2024 08:52:13 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.695798.1085899 (Exim 4.92) (envelope-from ) id 1rmrg6-00022Q-1p; Wed, 20 Mar 2024 08:52:06 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 695798.1085899; Wed, 20 Mar 2024 08:52:06 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rmrg5-00022J-V1; Wed, 20 Mar 2024 08:52:05 +0000 Received: by outflank-mailman (input) for mailman id 695798; Wed, 20 Mar 2024 08:52:04 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1rmrg4-000214-BV for xen-devel@lists.xenproject.org; Wed, 20 Mar 2024 08:52:04 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 1e629165-e697-11ee-a1ee-f123f15fe8a2; Wed, 20 Mar 2024 09:52:02 +0100 (CET) Received: from beta.station (net-93-144-106-196.cust.dsl.teletu.it [93.144.106.196]) by support.bugseng.com (Postfix) with ESMTPSA id 941A34EE073D; Wed, 20 Mar 2024 09:52:00 +0100 (CET) X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: 1e629165-e697-11ee-a1ee-f123f15fe8a2 From: Simone Ballarin To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, sstabellini@kernel.com, Simone Ballarin , Doug Goldstein , Stefano Stabellini , Andrew Cooper , George Dunlap , Jan Beulich , Julien Grall , Wei Liu , Bertrand Marquis , Michal Orzel , Volodymyr Babchuk , =?utf-8?q?Roger_Pau_Monn?= =?utf-8?q?=C3=A9?= Subject: [XEN PATCH 0/2] xen: address violations of MISRA C Rule 17.1 Date: Wed, 20 Mar 2024 09:50:58 +0100 Message-Id: X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 MISRA C Rule 20.7 states: "The features of `' 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 special hypercalls 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 functions related to console output (printk and similar). 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(+)