From mboxrd@z Thu Jan 1 00:00:00 1970 Return-path: Received: from mout.web.de ([212.227.15.14]:61043 "EHLO mout.web.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751129AbbL0QYU (ORCPT ); Sun, 27 Dec 2015 11:24:20 -0500 Subject: Re: [Cocci] [PATCH v2] coccinelle: api: check for propagation of error from platform_get_irq To: Julia Lawall References: <1451157891-24881-1-git-send-email-Julia.Lawall@lip6.fr> <567EF188.7020203@cogentembedded.com> <567EF895.6080702@cogentembedded.com> <567F9A29.50202@users.sourceforge.net> Cc: Coccinelle , LKML , kernel-janitors@vger.kernel.org, linux-media@vger.kernel.org, netdev@vger.kernel.org, linux-i2c@vger.kernel.org, linux-spi@vger.kernel.org, dri-devel@lists.freedesktop.org, Gilles Muller , Michal Marek , Nicolas Palix , Sergei Shtylyov From: SF Markus Elfring Message-ID: <568010A2.3000902@users.sourceforge.net> Date: Sun, 27 Dec 2015 17:24:02 +0100 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Sender: linux-media-owner@vger.kernel.org List-ID: >> https://cwe.mitre.org/data/definitions/252.html > > The value is not unchecked. Would you like to express any stronger relationship between the function call example and the occurrence of an if statement by the discussed SmPL script? > I made a specific rule because the specific problem is quite common. Can it become also interesting to generalise this search pattern? Regards, Markus