[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <568010A2.3000902@users.sourceforge.net>
Date: Sun, 27 Dec 2015 17:24:02 +0100
From: SF Markus Elfring <elfring@...rs.sourceforge.net>
To: Julia Lawall <julia.lawall@...6.fr>
Cc: Coccinelle <cocci@...teme.lip6.fr>,
LKML <linux-kernel@...r.kernel.org>,
kernel-janitors@...r.kernel.org, linux-media@...r.kernel.org,
netdev@...r.kernel.org, linux-i2c@...r.kernel.org,
linux-spi@...r.kernel.org, dri-devel@...ts.freedesktop.org,
Gilles Muller <Gilles.Muller@...6.fr>,
Michal Marek <mmarek@...e.com>,
Nicolas Palix <nicolas.palix@...g.fr>,
Sergei Shtylyov <sergei.shtylyov@...entembedded.com>
Subject: Re: [Cocci] [PATCH v2] coccinelle: api: check for propagation of
error from platform_get_irq
>> 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
--
To unsubscribe from this list: send the line "unsubscribe netdev" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Powered by blists - more mailing lists