From nobody Mon Nov 25 04:26:08 2024 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass(p=none dis=none) header.from=kernel.org ARC-Seal: i=1; a=rsa-sha256; t=1715728567; cv=none; d=zohomail.com; s=zohoarc; b=GYq+3aROy0a2nwv8DLi0/0eyjn8JxCkMSJKZ47vmhaiOX27hiq1wW9BP6m4Mq9uxamW1ykWiCSsGhGbX9EIqpP5kWfIYh787qOZK8AgRE5TVoKT9KZ43b/ImL09eyKvzZQg5qz6wa1wJc/mP1uuSkmzA6khm4YLZxAn3GYTFpxw= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1715728567; h=Content-Type:Cc:Cc:Date:Date:From:From:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=S0fWIO7utnLP/S7BkrTYnBAmBkEwRopQhPzIII54fO0=; b=M56Ny04ntDFsNZ1MkeK/c2zLwPOeRBqYqATdcdkB6v4fhw0Gvhbln14N0r6Aq8Do8KGhS3CO1qupttivU4tTjVXZGzCF+y9F8gohcU3riZcvgpK41ZSLxWV725HLvmZJ5Jy1RqIw8HbvwkZ1VZw3xm+28YQ/YLz5Bh0V6Ee00vQ= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass header.from= (p=none dis=none) Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1715728567067371.64028677902843; Tue, 14 May 2024 16:16:07 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.721832.1125506 (Exim 4.92) (envelope-from ) id 1s71N0-0007Ws-JY; Tue, 14 May 2024 23:15:42 +0000 Received: by outflank-mailman (output) from mailman id 721832.1125506; Tue, 14 May 2024 23:15:42 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1s71N0-0007Wl-GB; Tue, 14 May 2024 23:15:42 +0000 Received: by outflank-mailman (input) for mailman id 721832; Tue, 14 May 2024 23:15:40 +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 1s71My-0007Wf-Ry for xen-devel@lists.xenproject.org; Tue, 14 May 2024 23:15:40 +0000 Received: from dfw.source.kernel.org (dfw.source.kernel.org [139.178.84.217]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id e0334487-1247-11ef-909d-e314d9c70b13; Wed, 15 May 2024 01:15:39 +0200 (CEST) Received: from smtp.kernel.org (transwarp.subspace.kernel.org [100.75.92.58]) by dfw.source.kernel.org (Postfix) with ESMTP id 2149061354; Tue, 14 May 2024 23:15:38 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 4537FC2BD10; Tue, 14 May 2024 23:15:36 +0000 (UTC) X-Outflank-Mailman: Message body and most headers restored to incoming version 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: e0334487-1247-11ef-909d-e314d9c70b13 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1715728537; bh=cknac0lzprvjGuU+wJs9zjIFW4bKs7DnewDXXFJb3QY=; h=Date:From:To:cc:Subject:From; b=hZ9dRbBaeFtCayr8f8fEauC7EV/6qvvyFp+KajEZKF++thQHKTAalAUwLzIH3a+UK UKC93DFyXUTl1brfrIH4SZNGULhclb7HBA+LB3GCthH4On292ASiyTN+9rBZna1/jk p0PTshEj/VcH0gcBncGCtPiFdaABPOhZ5Tgk5bg9bvwy+BHnwHi3kb/t7+drb+bt3B G2UQ+0YNg6ZaI7o7wDBpPdkowe2uzRn6VhO4bgsnseaMNT8S8SJTf8GYj+7D5K6qp0 PYFGhaM4zEWQBbx4zo13oJiNXtPkqNuygwB4xa8SiEBGzzbQsfR+KTTICPOkjnxp4T sUPngWk+L3LPg== Date: Tue, 14 May 2024 16:15:34 -0700 (PDT) From: Stefano Stabellini X-X-Sender: sstabellini@ubuntu-linux-20-04-desktop To: xen-devel@lists.xenproject.org cc: sstabellini@kernel.org, Jan Beulich , Andrew Cooper , =?UTF-8?Q?Roger_Pau_Monn=C3=A9?= , Bertrand Marquis , Julien Grall , Michal Orzel , roberto.bagnara@bugseng.com, consulting@bugseng.com Subject: [PATCH] docs/misra: add D4.12 Message-ID: User-Agent: Alpine 2.22 (DEB 394 2020-01-19) MIME-Version: 1.0 X-ZohoMail-DKIM: pass (identity @kernel.org) X-ZM-MESSAGEID: 1715728568796100001 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Add D4.12 with the same explanation as the rules of the R21 series. D4.12 refers to the standard library memory allocation functions and similar third party libraries with memory allocation functions. It doesn't refer to the in-tree implementation we have in Xen which is subject to MISRA C rules and MISRA C scanning. Signed-off-by: Stefano Stabellini diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst index 80e5e972ad..bc8506add4 100644 --- a/docs/misra/rules.rst +++ b/docs/misra/rules.rst @@ -76,6 +76,11 @@ maintainers if you want to suggest a change. considered libraries from MISRA C point of view as they are imported in source form) =20 + * - `Dir 4.12 `_ + - Required + - Dynamic memory allocation shall not be used + - Xen doesn't provide, use, or link against a Standard Library [#xen-= stdlib]_ + * - `Dir 4.14 `_ - Required - The validity of values received from external sources shall be