Received: by 2002:a5b:505:0:0:0:0:0 with SMTP id o5csp5244674ybp; Mon, 14 Oct 2019 18:23:46 -0700 (PDT) X-Google-Smtp-Source: APXvYqyh/jkxra0NjcV9QgDvY4rbC8lo3u0WfaxLM5GmW0MLby9foxce7ZE0igoP+R12c8b6g7Vy X-Received: by 2002:a17:906:4c97:: with SMTP id q23mr30592202eju.78.1571102625905; Mon, 14 Oct 2019 18:23:45 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1571102625; cv=none; d=google.com; s=arc-20160816; b=0W0mRMueQa3/YFz9UnalS+JnP4t4Vl4aDK2akh9/GfuAtX9Ay8FTrgGFaVTRIBhY9l SiCE83SBzeuUApg0cwUyqwyCZelWFCxv/VJqd3SV00TawT1s66hqt8hsFLNnbHaTt2n9 kyqeaxq3y9Ou6Y3+hd0FMK+YR/aMwP46zfnXU4M6sfCPGGBODo5hZtQBrYYYD3Rzh4N1 OoTaAywL0wsPf0dmWrzXESo3GrtS/PEvDAKlCyUQirE3AomQLOocThc+pH8BKn9o3N/s iMg9qJBR0Tsium0I7pB27btuxqHMTG2L3KggmCnDEKfqWHn9IknMxSBMnMU7QgJVTfpG mJqQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-transfer-encoding:content-disposition:mime-version :references:message-id:subject:cc:to:from:date; bh=lsGMTPrj2BN0J56edw80HzGkg5vTWIWifSpA9cPwko0=; b=Oh3Y85wL//S/dcbnmnNcwtVJJm7E/LmdRuUh5EteBiVxJvNzaqCagqBnOx6RxUEwUt dpORCWM2SDsz82Vou0mHxsKXdpwYrHGTg6s953EIeiCT2YblfRG18OvtJ3Jqhj754TnF fENAzC8QwzBNPs8q48jL+nUwy2QLbH1Ot4T28G6RBqe2+BVA6XG5pQ8yXWJxa37Ymb7p QjzbVsFuk88BZYr+dDPGWbdTfR5psr6/fOZTojnvB67tlKv7MGu1OQxU0clBUoKPRuSG FAnArOMo7MmXN4WVh5kvq0FnNnfr/TaDsbl7aNsa0iPnrCPX0EkaxC+DctoC5CumDmQ8 1Rpw== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id m17si12261846eja.318.2019.10.14.18.23.22; Mon, 14 Oct 2019 18:23:45 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2387553AbfJNWdv (ORCPT + 99 others); Mon, 14 Oct 2019 18:33:51 -0400 Received: from fieldses.org ([173.255.197.46]:34314 "EHLO fieldses.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1730121AbfJNWdv (ORCPT ); Mon, 14 Oct 2019 18:33:51 -0400 Received: by fieldses.org (Postfix, from userid 2815) id 84B19BDB; Mon, 14 Oct 2019 18:33:50 -0400 (EDT) Date: Mon, 14 Oct 2019 18:33:50 -0400 From: "J. Bruce Fields" To: Markus Elfring Cc: linux-nfs@vger.kernel.org, Anna Schumaker , Chuck Lever , Trond Myklebust , LKML , kernel-janitors@vger.kernel.org, Aditya Pakki , Kangjie Lu , Navid Emamdoost , Stephen McCamant Subject: Re: SUNRPC: Checking a kmemdup() call in xdr_netobj_dup() Message-ID: <20191014223350.GA19883@fieldses.org> References: <9b5a5e63-2a24-ad79-20e2-4c01331ee041@web.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <9b5a5e63-2a24-ad79-20e2-4c01331ee041@web.de> User-Agent: Mutt/1.5.21 (2010-09-15) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sat, Oct 12, 2019 at 08:20:04PM +0200, Markus Elfring wrote: > I tried another script for the semantic patch language out. > This source code analysis approach points out that the implementation > of the function “xdr_netobj_dup” contains still an unchecked call > of the function “kmemdup”. > https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/include/linux/sunrpc/xdr.h?id=1c0cc5f1ae5ee5a6913704c0d75a6e99604ee30a#n167 > https://elixir.bootlin.com/linux/v5.4-rc2/source/include/linux/sunrpc/xdr.h#L167 > > How do you think about to improve it? On a quick check--I see five xdr_netobj_dup callers, and all of them check whether dst->data is NULL. Sounds like a false positive for your tool? --b.