From nobody Sat May 4 08:30:58 2024 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=fail; spf=none (zohomail.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=fail(p=none dis=none) header.from=citrix.com ARC-Seal: i=1; a=rsa-sha256; t=1578317394; cv=none; d=zohomail.com; s=zohoarc; b=M6zmpM/c4TzqBO8wCahOVc7FLBw14ePUW1+g8U94V6NNEl9zjIQyecgf2ChiRWqZ6RrEmpbJHpW1KyE+fzoONtubiR7SV0jCCsgcq2MGNpmxuEkmlI09UhV8WuTkN0M5tDFGnB9LaQk7WmQe+k8aZ5zN7IZHF7KjtSLhxN2KLPQ= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1578317394; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:Sender:Subject:To; bh=mFe7+kalhKtENsr0mzN2qCd3MAgB3u3CR0Nmi9R4aZY=; b=aFl7gYk/UJEN1iFiMchb7H43shHIeNw601PsG74mdzHzrUdjxR6nPXeo+b+zJpbKgZ70W/L9sIfZpC3/3enMNppGkGrm9bElVdyS8uDOpmb9qaGs1GEiKih05ZpXWdvbRARLMH7DuHYOb73Ic3oBNW4dAwBerzgZskhmsiNYhQA= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=fail; spf=none (zohomail.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=fail header.from= (p=none dis=none) header.from= Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1578317394311487.49223387668064; Mon, 6 Jan 2020 05:29:54 -0800 (PST) Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1ioSRN-0005lo-8t; Mon, 06 Jan 2020 13:29:05 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1ioSRL-0005li-NI for xen-devel@lists.xenproject.org; Mon, 06 Jan 2020 13:29:03 +0000 Received: from esa3.hc3370-68.iphmx.com (unknown [216.71.145.155]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id 80455483-3088-11ea-ab05-12813bfff9fa; Mon, 06 Jan 2020 13:29:03 +0000 (UTC) X-Inumbo-ID: 80455483-3088-11ea-ab05-12813bfff9fa DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=citrix.com; s=securemail; t=1578317343; h=from:to:cc:subject:date:message-id:mime-version; bh=01oSMARpNQcg2T+tOdO47Ycni+oDCjg6CsSqWpukElM=; b=cP28wLZ9QKaMXi+Q3E/s2hLyOu/eqFicM5211qaiy6pBJmpkjylI8uz9 25yV1ijgRu//O7IDRLaJdWFmMS0PEDX0oFDBLu6x5clelLE/UhsMNScly VoRagU4KDFrPbJVaRcNxNsR+wa5HGsq2cLRXbzVilmAkdpuCTl+K3shjB E=; Authentication-Results: esa3.hc3370-68.iphmx.com; dkim=none (message not signed) header.i=none; spf=None smtp.pra=andrew.cooper3@citrix.com; spf=Pass smtp.mailfrom=Andrew.Cooper3@citrix.com; spf=None smtp.helo=postmaster@mail.citrix.com Received-SPF: none (zohomail.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Received-SPF: None (esa3.hc3370-68.iphmx.com: no sender authenticity information available from domain of andrew.cooper3@citrix.com) identity=pra; client-ip=162.221.158.21; receiver=esa3.hc3370-68.iphmx.com; envelope-from="Andrew.Cooper3@citrix.com"; x-sender="andrew.cooper3@citrix.com"; x-conformance=sidf_compatible Received-SPF: Pass (esa3.hc3370-68.iphmx.com: domain of Andrew.Cooper3@citrix.com designates 162.221.158.21 as permitted sender) identity=mailfrom; client-ip=162.221.158.21; receiver=esa3.hc3370-68.iphmx.com; envelope-from="Andrew.Cooper3@citrix.com"; x-sender="Andrew.Cooper3@citrix.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:209.167.231.154 ip4:178.63.86.133 ip4:195.66.111.40/30 ip4:85.115.9.32/28 ip4:199.102.83.4 ip4:192.28.146.160 ip4:192.28.146.107 ip4:216.52.6.88 ip4:216.52.6.188 ip4:162.221.158.21 ip4:162.221.156.83 ip4:168.245.78.127 ~all" Received-SPF: None (esa3.hc3370-68.iphmx.com: no sender authenticity information available from domain of postmaster@mail.citrix.com) identity=helo; client-ip=162.221.158.21; receiver=esa3.hc3370-68.iphmx.com; envelope-from="Andrew.Cooper3@citrix.com"; x-sender="postmaster@mail.citrix.com"; x-conformance=sidf_compatible IronPort-SDR: Ndi8RPDQtGV0I0H7bNjNXctu+05f3q+L2Eh9rOMmL+/YHa3qRLdB8TgozLCRAwuILUPDhiN+75 0lKv4SO35q2yz25QTMiJWnNoJ9ttcGp1pFqMJaEsOGG7lufkLP1IOwBXPWfRmYyOSUidHmtrrd b9bHEf5jz5X/jQdjzSNPKvOdYt10LCRdym0GKaPAaNw43JHEpW2VAC1XDALemgbP0v6CtbNC/Z rLpJK+MmNBe4eJDk1quZXIrp2WkMp5Wcl0VpvM60972uHtIbP3MlwIsDYvZZMrxYBTL5nC3DTU LIE= X-SBRS: 2.7 X-MesageID: 10480170 X-Ironport-Server: esa3.hc3370-68.iphmx.com X-Remote-IP: 162.221.158.21 X-Policy: $RELAYED X-IronPort-AV: E=Sophos;i="5.69,402,1571716800"; d="scan'208";a="10480170" From: Andrew Cooper To: Xen-devel Date: Mon, 6 Jan 2020 13:28:59 +0000 Message-ID: <20200106132859.25882-1-andrew.cooper3@citrix.com> X-Mailer: git-send-email 2.11.0 MIME-Version: 1.0 Subject: [Xen-devel] [PATCH] Coverity: Improve model for {, un}map_domain_page() X-BeenThere: xen-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Cc: Stefano Stabellini , Julien Grall , Wei Liu , Konrad Rzeszutek Wilk , George Dunlap , Andrew Cooper , Jan Beulich , Ian Jackson Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" X-ZohoMail-DKIM: fail (Header signature does not verify) The first attempt resulted in several "Free of address-of expression (BAD_FREE)" issues, because of code which relies on the fact that any pointer in the same page is ok to pass to unmap_domain_page() Model this property to remove the issues. Coverity IDs: 1135356 113536{0,1} 1401300 141809{0,1} 1438864 Signed-off-by: Andrew Cooper Acked-by: Jan Beulich --- CC: George Dunlap CC: Ian Jackson CC: Jan Beulich CC: Konrad Rzeszutek Wilk CC: Stefano Stabellini CC: Wei Liu CC: Julien Grall As the only way of testing is to upload a new model, this change matches wh= at I've already done in Snapshot 182435. --- misc/coverity/model.c | 22 ++++++++++++++++------ 1 file changed, 16 insertions(+), 6 deletions(-) diff --git a/misc/coverity/model.c b/misc/coverity/model.c index bd62566a0d..1ec3fe8673 100644 --- a/misc/coverity/model.c +++ b/misc/coverity/model.c @@ -82,21 +82,31 @@ void xfree(void *va) * allocation of exactly 1 page. * * map_domain_page() never fails. (It will BUG() before returning NULL) - * - * TODO: work out how to correctly model the behaviour that this function = will - * only ever return page aligned pointers. */ void *map_domain_page(unsigned long mfn) { - return __coverity_alloc__(PAGE_SIZE); + unsigned long ptr =3D (unsigned long)__coverity_alloc__(PAGE_SIZE); + + /* + * Expressing the alignment of the memory allocation isn't possible. = As a + * substitute, tell Coverity to ignore any path where ptr isn't page + * aligned. + */ + if ( ptr & ~PAGE_MASK ) + __coverity_panic__(); + + return (void *)ptr; } =20 /* - * unmap_domain_page() will unmap a page. Model it as a free(). + * unmap_domain_page() will unmap a page. Model it as a free(). Any *va + * within the page is valid to pass. */ void unmap_domain_page(const void *va) { - __coverity_free__(va); + unsigned long ptr =3D (unsigned long)va & PAGE_MASK; + + __coverity_free__((void *)ptr); } =20 /* --=20 2.11.0 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel