Received: by 2002:ab2:6816:0:b0:1f9:5764:f03e with SMTP id t22csp366020lqo; Thu, 16 May 2024 08:29:14 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCXIFFg+Qyvzg+JxJtXKzG3plr5jKaGVkYxcykDl0ArDQIVMHM8v3ZXq6k4ZyEQf3e04wOHJWk2wDN2KadyzcFu5kAq2jSOORSj0iWFI0w== X-Google-Smtp-Source: AGHT+IFTVIKttAJtvyPeno4/gJwDC9HeRHBazvUA1CTUsmHRlU17AGkOIfTyVxFXOs5/GNi1Cybi X-Received: by 2002:a05:6a20:f3a4:b0:1af:93cc:3353 with SMTP id adf61e73a8af0-1afde0d53f6mr17807831637.16.1715873353616; Thu, 16 May 2024 08:29:13 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1715873353; cv=pass; d=google.com; s=arc-20160816; b=HMlPrqQUaGZqz6EZESIyWYFe1ThPnlvRhRJTxjX+1wZ3LZQS4cYFzvB5C0dTs0IYit 0C7cnXZqM4KDL62dj2UZtpK16WcjrXlsgOFKHGlcPPVIq6WrohydpKjAUXVy6eElJxaE OCVWf3/YFodZi4gwNOXmPKD7ySL7C9QMoWuLB7PkH5ys5bdIZPoH6Bh/hEh6QsGPlEZi jv79MCjXPRj+o8ByZb9u2Mxb0B1WaZVJ1oxJpvOq+K1bmRI15PS3rP9pS5slaXwnM73a ihTPwF2xQiA4B3AjKz6KOuCbtW1c1Y8brLWHhAOH+G9e48tUeNhtZdBOyH473/DpinvL rXhQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:mime-version:list-unsubscribe :list-subscribe:list-id:precedence:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :cc:to:from:dkim-signature; bh=5U0KMV2C/c892y1VrfZ5naiyiiT+W1EsNrkhQahBFWU=; fh=5q9QlDxPfPagV0q3GLuxzh62MKeo8Djsm2AoCmzb6UE=; b=ltsPB1gBWEmUr/Es+tvITA+YU1ZG3XzKmgfebGBRJIj6sQFIqHGZEh4MGSxuf5lsXf Tqra52+euRUdgy/0cuY1otAeXMp7N8aYR68FZZZ9BkZKu+iTw0k9tT+Fht0ynYgkwy56 Ya/9Xbc2fRM4CrtMlwjxKH53wH45cdCh/pyb0qmFkbAkGJPLbCmYlwFVkygEEx8M0gt6 IKCUho5rz0/pqtdln1RZaLT9GFQKYojxrLSpHo4bJTnv98mROW1/7jg7Jm6K4nVEMahY YMNFJYHOGn5l6OwW/4hpqxC2yrQV0JCAG7iRr/NIbpUWtOP5YPGG4a1/PvSWjJtSJgC6 3Z3Q==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@amazon.de header.s=amazon201209 header.b=iUDlKF7z; arc=pass (i=1 spf=pass spfdomain=amazon.de dkim=pass dkdomain=amazon.de dmarc=pass fromdomain=amazon.de); spf=pass (google.com: domain of linux-kernel+bounces-181244-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-181244-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=amazon.de Return-Path: Received: from sv.mirrors.kernel.org (sv.mirrors.kernel.org. [2604:1380:45e3:2400::1]) by mx.google.com with ESMTPS id d2e1a72fcca58-6f4f39aa750si11170554b3a.369.2024.05.16.08.29.13 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 16 May 2024 08:29:13 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel+bounces-181244-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) client-ip=2604:1380:45e3:2400::1; Authentication-Results: mx.google.com; dkim=pass header.i=@amazon.de header.s=amazon201209 header.b=iUDlKF7z; arc=pass (i=1 spf=pass spfdomain=amazon.de dkim=pass dkdomain=amazon.de dmarc=pass fromdomain=amazon.de); spf=pass (google.com: domain of linux-kernel+bounces-181244-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-181244-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=amazon.de Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by sv.mirrors.kernel.org (Postfix) with ESMTPS id 5147828B33A for ; Thu, 16 May 2024 15:29:11 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id 518A714D710; Thu, 16 May 2024 15:28:28 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=amazon.de header.i=@amazon.de header.b="iUDlKF7z" Received: from smtp-fw-33001.amazon.com (smtp-fw-33001.amazon.com [207.171.190.10]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id C6BC614B97D; Thu, 16 May 2024 15:28:25 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=207.171.190.10 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715873307; cv=none; b=r1Hsw9HDj05KzWl1HBoEZlx/ziXkXJE8WbacGNoxHHNFCOZWcZAda8CcOYJC9Re+/tXkA0HjycQxGbOsI5gtfkxBeNKRfT5gLgY9E2ZpdmAv5VeQ6GUzbjzD2VN3PbWrvwVgpmwL24Cd7Fh1kqBRV+mLluHFlMF9LFTLG8LSKOI= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715873307; c=relaxed/simple; bh=5U0KMV2C/c892y1VrfZ5naiyiiT+W1EsNrkhQahBFWU=; h=From:To:CC:Subject:Date:Message-ID:Content-Type:MIME-Version; b=Gvy4mkR2fA1EGYNvCKDDDppj7ir38jW2rkepoazVJGcvc4EXi+vgCH+jhsuElAvslTL99l0hQIMsacYyWhHBII+uObCHVVYQclbvTy+ac9476BRc+gjbQ2uuP8Y0u/ezbkXmq3/mutpDM++3wLAhkAareFU45XzD1hS1BuHGlF0= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=amazon.de; spf=pass smtp.mailfrom=amazon.de; dkim=pass (1024-bit key) header.d=amazon.de header.i=@amazon.de header.b=iUDlKF7z; arc=none smtp.client-ip=207.171.190.10 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=amazon.de Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=amazon.de DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=amazon.de; i=@amazon.de; q=dns/txt; s=amazon201209; t=1715873305; x=1747409305; h=from:to:cc:subject:date:message-id:content-id: mime-version:content-transfer-encoding; bh=5U0KMV2C/c892y1VrfZ5naiyiiT+W1EsNrkhQahBFWU=; b=iUDlKF7z/VhC7Yp47Y+ref1W1q6CSn69JaV3Izn393Wm1drdsQ+aG5XY zuzswcKNC7+XrIP/vfwuXge7+OK+VDUGemZvp+puKmS+rnE9WlhtSSJMI 9TMJJbe3s/nPkcLPmLrRLWr91cnUHJ/8OcfwoR5vaUQWnfab4eVDPVVTZ o=; X-IronPort-AV: E=Sophos;i="6.08,164,1712620800"; d="scan'208";a="344862544" Received: from iad12-co-svc-p1-lb1-vlan3.amazon.com (HELO smtpout.prod.us-west-2.prod.farcaster.email.amazon.dev) ([10.43.8.6]) by smtp-border-fw-33001.sea14.amazon.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 May 2024 15:28:18 +0000 Received: from EX19MTAEUA002.ant.amazon.com [10.0.43.254:59697] by smtpin.naws.eu-west-1.prod.farcaster.email.amazon.dev [10.0.39.135:2525] with esmtp (Farcaster) id ad0209d0-e9fb-4e92-a94b-04e2f86d58c5; Thu, 16 May 2024 15:28:16 +0000 (UTC) X-Farcaster-Flow-ID: ad0209d0-e9fb-4e92-a94b-04e2f86d58c5 Received: from EX19D043EUB003.ant.amazon.com (10.252.61.69) by EX19MTAEUA002.ant.amazon.com (10.252.50.124) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1258.28; Thu, 16 May 2024 15:28:16 +0000 Received: from EX19D002EUC004.ant.amazon.com (10.252.51.230) by EX19D043EUB003.ant.amazon.com (10.252.61.69) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1258.28; Thu, 16 May 2024 15:28:16 +0000 Received: from EX19D002EUC004.ant.amazon.com ([fe80::fa57:3c1:c670:f520]) by EX19D002EUC004.ant.amazon.com ([fe80::fa57:3c1:c670:f520%3]) with mapi id 15.02.1258.028; Thu, 16 May 2024 15:28:16 +0000 From: "Manthey, Norbert" To: "keescook@chromium.org" , "linux-kernel@vger.kernel.org" CC: "Woodhouse, David" , "Stieger, Andreas" , "linux-hardening@vger.kernel.org" , "Hemdan, Hagar Gamal Halim" Subject: Extending Linux' Coverity model and also cover aarch64 Thread-Topic: Extending Linux' Coverity model and also cover aarch64 Thread-Index: AQHap6Wsmrdu7IK9QEOStpjMecz3Dg== Date: Thu, 16 May 2024 15:28:16 +0000 Message-ID: <77f6e6fc46232db82a3c63e93877c9534334e407.camel@amazon.de> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Content-Type: text/plain; charset="utf-8" Content-ID: <9B7489B3CBD9B741AD1B080B393DE304@amazon.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: base64 RGVhciBLZWVzLCBhbGwsDQoNCndlIHB1Ymxpc2hlZCBhbiBleHRlbnNpb24gZm9yIHRoZSBDb3Zl cml0eSBtb2RlbCB0aGF0IGlzIHVzZWQgYnkgdGhlDQpDb3Zlcml0eVNjYW4gc2V0dXAgZm9yIHRo ZSBMaW51eCBrZXJuZWwgWzFdLiBXZSBoYXZlIGJlZW4gdXNpbmcgdGhpcw0KZXh0ZW5zaW9uIHRv IGFuYWx5emUgdGhlIDYuMSBrZXJuZWwgYnJhbmNoLCBhbmQgcmVwb3J0ZWQgc29tZSBmaXhlcyB0 bw0KdGhlIHVwc3RyZWFtIGNvZGUgYmFzZSB0aGF0IGFyZSBiYXNlZCBvbiB0aGlzIG1vZGVsIFsy XS4gRmVlbCBmcmVlIHRvDQptZXJnZSB0aGUgcHVsbCByZXF1ZXN0LCBhbmQgdXBkYXRlIHRoZSBt b2RlbCBpbiB0aGUgQ292ZXJpdHlTY2FuIHNldHVwLg0KV2UgZG8gbm90IGhhdmUgYWNjZXNzIHRv IHRoYXQgcHJvamVjdCB0byBwZXJmb3JtIHRoZXNlIHVwZGF0ZXMNCm91cnNlbHZlcy4NCg0KVG8g aW5jcmVhc2UgdGhlIGFuYWx5c2lzIGNvdmVyYWdlIHRvIGFhcmNoNjQsIHdlIGFuYWx5emVkIGEg eDg2IGFuZCBhDQphYXJjaDY0IGNvbmZpZ3VyYXRpb24uIFRoZSBpbmNyZWFzZWQgY292ZXJhZ2Ug aXMgYWNoaWV2ZWQgYnkgdXNpbmcgcmUtDQpjb25maWd1cmF0aW9uIGFuZCBjcm9zcy1jb21waWxh dGlvbiBkdXJpbmcgdGhlIGFuYWx5c2lzIGJ1aWxkLiBJZiB5b3UNCmFyZSBpbnRlcmVzdGVkIGlu IHRoaXMgc2V0dXAgd2UgY2FuIHNoYXJlIHRoZSBEb2NrZXJmaWxlIGFuZCBzY3JpcHQgd2UNCnVz ZWQgZm9yIHRoaXMgcHJvY2Vzcy4NCg0KVG8gcHJldmVudCByZWdyZXNzaW9ucyBpbiBiYWNrcG9y dHMgdG8gTFRTIGtlcm5lbHMsIHdlIHdvbmRlcmVkIHdoZXRoZXINCnRoZSBjb21tdW5pdHkgaXMg aW50ZXJlc3RlZCBpbiBzZXR0aW5nIHVwIENvdmVyaXR5U2NhbiBwcm9qZWN0cyBmb3INCm9sZGVy IGtlcm5lbCByZWxlYXNlcy4gV291bGQgc3VjaCBhbiBleHRlbnNpb24gYmUgdXNlZnVsIHRvIHNo b3cgbmV3DQpkZWZlY3RzIGluIGFkZGl0aW9uIHRvIHRoZSBjdXJyZW50IHJlbGVhc2UgdGVzdGlu Zz8NCg0KQmVzdCwNCk5vcmJlcnQNCg0KWzFdIGdpdGh1YiBDb3Zlcml0eSBtb2RlbCBwdWxsIHJl cXVlc3QgbGluazoNCmh0dHBzOi8vZ2l0aHViLmNvbS9rZWVzL2NvdmVyaXR5LWxpbnV4L3B1bGwv MQ0KWzJdIEVtYWlscyBmb3IgbW9zdCBmaXhlcyBieSBIYWdhcjoNCmh0dHBzOi8vbG9yZS5rZXJu ZWwub3JnL2FsbC8/cT1mJTNBaGFnYXJoZW0NCg0KCgoKQW1hem9uIFdlYiBTZXJ2aWNlcyBEZXZl bG9wbWVudCBDZW50ZXIgR2VybWFueSBHbWJICktyYXVzZW5zdHIuIDM4CjEwMTE3IEJlcmxpbgpH ZXNjaGFlZnRzZnVlaHJ1bmc6IENocmlzdGlhbiBTY2hsYWVnZXIsIEpvbmF0aGFuIFdlaXNzCkVp bmdldHJhZ2VuIGFtIEFtdHNnZXJpY2h0IENoYXJsb3R0ZW5idXJnIHVudGVyIEhSQiAyNTc3NjQg QgpTaXR6OiBCZXJsaW4KVXN0LUlEOiBERSAzNjUgNTM4IDU5Nwo=