From patchwork Tue Feb 14 08:56:33 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luca Fancellu X-Patchwork-Id: 13139706 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 126DCC64EC7 for ; Tue, 14 Feb 2023 08:57:16 +0000 (UTC) Received: from list by lists.xenproject.org with outflank-mailman.495056.765294 (Exim 4.92) (envelope-from ) id 1pRr7O-00066Q-J1; Tue, 14 Feb 2023 08:56:54 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 495056.765294; Tue, 14 Feb 2023 08:56:54 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pRr7O-00066J-GD; Tue, 14 Feb 2023 08:56:54 +0000 Received: by outflank-mailman (input) for mailman id 495056; Tue, 14 Feb 2023 08:56:54 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1pRr7O-00066D-2l for xen-devel@lists.xenproject.org; Tue, 14 Feb 2023 08:56:54 +0000 Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by se1-gles-sth1.inumbo.com (Halon) with ESMTP id 8616a93d-ac45-11ed-933c-83870f6b2ba8; Tue, 14 Feb 2023 09:56:53 +0100 (CET) Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 4A9931042; Tue, 14 Feb 2023 00:57:34 -0800 (PST) Received: from e109506.cambridge.arm.com (e109506.cambridge.arm.com [10.1.199.62]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 52C813F703; Tue, 14 Feb 2023 00:56:50 -0800 (PST) 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: 8616a93d-ac45-11ed-933c-83870f6b2ba8 From: Luca Fancellu To: xen-devel@lists.xenproject.org Cc: wei.chen@arm.com, bertrand.marquis@arm.com, Andrew Cooper , George Dunlap , Jan Beulich , Julien Grall , Stefano Stabellini , Michal Orzel , Wei Liu Subject: [PATCH 0/2] xen/misra: create exclusion file list Date: Tue, 14 Feb 2023 08:56:33 +0000 Message-Id: <20230214085635.3170962-1-luca.fancellu@arm.com> X-Mailer: git-send-email 2.25.1 MIME-Version: 1.0 This serie is introducing an exclusion list for the misra analysis, at the moment only cppcheck can benefit from it because it's the tool where we control every step and configuration. Exclude a file from the analysis is the last step we should do, but sometime it is unavoidable because we can't do direct changes to it to fix/deviate from findings. So we declare the file(s) here and we leave the burden of the misra compliance to the final user. Luca Fancellu (2): xen/cppcheck: add a way to exclude files from the scan xen/misra: add entries to exclude-list.json docs/misra/exclude-list.json | 209 ++++++++++++++++++ docs/misra/exclude-list.rst | 44 ++++ xen/scripts/xen_analysis/cppcheck_analysis.py | 21 +- .../xen_analysis/exclusion_file_list.py | 79 +++++++ 4 files changed, 351 insertions(+), 2 deletions(-) create mode 100644 docs/misra/exclude-list.json create mode 100644 docs/misra/exclude-list.rst create mode 100644 xen/scripts/xen_analysis/exclusion_file_list.py