Received: by 2002:a05:6358:3188:b0:123:57c1:9b43 with SMTP id q8csp2673861rwd; Fri, 16 Jun 2023 06:54:52 -0700 (PDT) X-Google-Smtp-Source: ACHHUZ6ucbZcNnn+ZW8oivRyjt+YbF+/ekGTDKZH/bRzeDdG9FuWzEYitzhGxoXumVNiDRgoACp0 X-Received: by 2002:a05:6a21:32a2:b0:11f:3553:5c8a with SMTP id yt34-20020a056a2132a200b0011f35535c8amr585917pzb.12.1686923692422; Fri, 16 Jun 2023 06:54:52 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1686923692; cv=none; d=google.com; s=arc-20160816; b=DoteCw02fKEDp3MXsO7xS+q4Cb1g0gjLwYqAdF+7mhytFAoq2PQFVGo3LTRKDi31an PEFuNstkVGMKc81xz6Iiber+WPJ6N2K3keIjLIazoqGFhb8WrHuj+gVYwtkilK0neBuV Qt4oEpSAls/+E0Pf5tgWSLeM3TpQcxGupNMxby49Bag8kQLm9BgJpCYlhHI4cRaQU2ML hGQUDnR+iYwEIWSHL5W2amtdeFCAcR99QiXO96vMxXC96JZ1d9EsX1//UrMsu/Xc2kVI RUN+FmJEoAhtoqjeXvRFUiEvG2HmVSqIjC+DcVfvm5WupoZ/OGAgLE98a8XU9akB/hsv 37xA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:mime-version :content-id:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:cc:to:from:dkim-signature; bh=KdIdoo7uQlZPTCnStzw05pk0oLk6LJ2S9Hb5yTnotOg=; b=Ai27TytSDAwqXNnI6GxYRdNyLFs8rXuJha8j2bPtjwAeXywzo5r8gSJA5d3xCql9n8 XaNUOYQBpvCX3Abd6gUhXmGT5h3AnGuxinzM7Itipq6IMomw9SJbAkXiksm7HyYMRv8E QiMIHF5xPWyc1SXbI1kV42uZycx/MjXQj1SJpt8cD46F3CTkHdyZYiIDeagV2BAgSScp /7CrNZ9+zgiWS7Drf+mQV10LbbtLeyss1NQx0a3Me/pmmP7LZznH8NXq7SK7bVlKXJRC mwhbStKS9MhnK+qKzbz9Mg08TCO6RS2/M619kUl+PR+hdyO1xbK1E1Hb42TnINNoMgWk sEGA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@amazon.de header.s=amazon201209 header.b="KRhT/aHL"; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=amazon.de Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id lc11-20020a170902fa8b00b001adb600d5e9si3411397plb.640.2023.06.16.06.54.38; Fri, 16 Jun 2023 06:54:52 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@amazon.de header.s=amazon201209 header.b="KRhT/aHL"; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=amazon.de Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1343989AbjFPNoL (ORCPT + 99 others); Fri, 16 Jun 2023 09:44:11 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:41162 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229482AbjFPNoK (ORCPT ); Fri, 16 Jun 2023 09:44:10 -0400 Received: from smtp-fw-9103.amazon.com (smtp-fw-9103.amazon.com [207.171.188.200]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 5CA39189 for ; Fri, 16 Jun 2023 06:44:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=amazon.de; i=@amazon.de; q=dns/txt; s=amazon201209; t=1686923049; x=1718459049; h=from:to:cc:subject:date:message-id:content-id: mime-version:content-transfer-encoding; bh=KdIdoo7uQlZPTCnStzw05pk0oLk6LJ2S9Hb5yTnotOg=; b=KRhT/aHL2oUImTNCQ9A0Q4XdUf3oE2a9HAkc3nz9qXatwd/pxBJlmleJ bf6Ld+ziw+FPM8OPiBqaahDANNnJ2NPZ32aCHKdhi0UB3kKNC9MuYFC3q 6GeRFBvpLoOMFjMEndPaw+NXjMzSxujZXnQO1tK5zHF+vUIeiyUXn74/I s=; X-IronPort-AV: E=Sophos;i="6.00,247,1681171200"; d="scan'208";a="1137949321" Received: from pdx4-co-svc-p1-lb2-vlan3.amazon.com (HELO email-inbound-relay-pdx-2b-m6i4x-f253a3a3.us-west-2.amazon.com) ([10.25.36.214]) by smtp-border-fw-9103.sea19.amazon.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Jun 2023 13:44:03 +0000 Received: from EX19D010EUA001.ant.amazon.com (pdx1-ws-svc-p6-lb9-vlan3.pdx.amazon.com [10.236.137.198]) by email-inbound-relay-pdx-2b-m6i4x-f253a3a3.us-west-2.amazon.com (Postfix) with ESMTPS id 436DE80680; Fri, 16 Jun 2023 13:44:03 +0000 (UTC) Received: from EX19D041EUA001.ant.amazon.com (10.252.50.169) by EX19D010EUA001.ant.amazon.com (10.252.50.180) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1118.26; Fri, 16 Jun 2023 13:44:02 +0000 Received: from EX19D002EUC004.ant.amazon.com (10.252.51.230) by EX19D041EUA001.ant.amazon.com (10.252.50.169) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1118.26; Fri, 16 Jun 2023 13:44:01 +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.1118.026; Fri, 16 Jun 2023 13:44:01 +0000 From: "Manthey, Norbert" To: "keescook@chromium.org" CC: "Woodhouse, David" , "Stieger, Andreas" , "linux-kernel@vger.kernel.org" Subject: Linux kernel Coverity model file Thread-Topic: Linux kernel Coverity model file Thread-Index: AQHZoFibzqo0BF01BE6byHjjEo/FFQ== Date: Fri, 16 Jun 2023 13:44:01 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.1.212.5] Content-Type: text/plain; charset="utf-8" Content-ID: <75096B68E8F1C54C8AB2F1732497D759@amazon.com> MIME-Version: 1.0 Content-Transfer-Encoding: base64 X-Spam-Status: No, score=-4.4 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_MED, RCVD_IN_MSPIKE_H5,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,T_SCC_BODY_TEXT_LINE, T_SPF_PERMERROR autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org RGVhciBLZWVzLA0KDQpzb21lIHRpbWUgYWdvIHlvdSBwb2ludGVkIG1lIGF0IHRoZSBnaXRodWIg Y29weSBvZiB0aGUgQ292ZXJpdHkgbW9kZWwNCnRoYXQgaXMgdXNlZCBmb3IgdGhlIExpbnV4IGtl cm5lbCBhbmFseXNpcyBbMV0uDQoNCkkgaW52ZXN0aWdhdGVkIHRoZSBlZmZlY3Qgb2YgdXNpbmcg dGhpcyBtb2RlbCwgYW5kIGNvbXBhcmVkIGRlZmVjdHMNCnJlcG9ydGVkIHdpdGggYW5kIHdpdGhv dXQgdGhlIG1vZGVsLiBCZWZvcmUgSSBkZWVwIGRpdmUgaW50bw0KbW9kaWZpY2F0aW9ucywgSSB3 YW50ZWQgdG8gdW5kZXJzdGFuZCB3aGV0aGVyIHRoZXJlIGlzIGEgbW9yZSByZWNlbnQNCnZlcnNp b24gKHRoZSBjdXJyZW50IG9uZSBpcyBhYm91dCA0IHllYXJzIG9sZCkuIEkgY3VycmVudGx5IGhh dmUgbm8NCmFjY2VzcyB0byB0aGUgcHVibGljIGxpbnV4IGRhc2hib2FyZCB0byBkaXJlY3RseSBj aGVjayB0aGUgZWZmZWN0DQp0aGVyZS4NCg0KSW4gY2FzZSB0aGVyZSBpcyBhIG1vcmUgcmVjZW50 IG1vZGVsIGZpbGUsIGNhbiB5b3UgcGxlYXNlIHVwZGF0ZSB0aGUNCmdpdGh1YiByZXBvc2l0b3J5 Pw0KDQpJbiBjYXNlIEkgZmluZCBhZGRpdGlvbnMsIGlzIHRoZSBmb2xsb3dpbmcgYSBnb29kIHBy b2NlZHVyZSB0byBzaGFyZQ0KbW9kZWwgdXBkYXRlcz8gSSB3b3VsZCBydW4gYW4gYW5hbHlzaXMg b24gYSBkZWZpbmVkIExpbnV4IGNvbW1pdCB3aXRoDQp0aGUgY3VycmVudCBtb2RlbCBhbmQgdGhl IHByb3Bvc2VkIGFkZGl0aW9ucywgYW5kIHdvdWxkIHJlcG9ydCB0aGUNCmVmZmVjdCBvbiB0aGUg cmVwb3J0ZWQgZGVmZWN0cy4gSXMgdGhlcmUgYW55dGhpbmcgZWxzZSBJIGFtIG1pc3Npbmc/DQoN CkJlc3QsDQpOb3JiZXJ0DQoNCg0KWzFdIGh0dHBzOi8vZ2l0aHViLmNvbS9rZWVzL2NvdmVyaXR5 LWxpbnV4DQoKCgpBbWF6b24gRGV2ZWxvcG1lbnQgQ2VudGVyIEdlcm1hbnkgR21iSApLcmF1c2Vu c3RyLiAzOAoxMDExNyBCZXJsaW4KR2VzY2hhZWZ0c2Z1ZWhydW5nOiBDaHJpc3RpYW4gU2NobGFl Z2VyLCBKb25hdGhhbiBXZWlzcwpFaW5nZXRyYWdlbiBhbSBBbXRzZ2VyaWNodCBDaGFybG90dGVu YnVyZyB1bnRlciBIUkIgMTQ5MTczIEIKU2l0ejogQmVybGluClVzdC1JRDogREUgMjg5IDIzNyA4 NzkKCgo=