[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <713573fc-52e8-d7a0-f4c0-2ce514dd1d1f@users.sourceforge.net>
Date: Wed, 16 Aug 2017 22:03:32 +0200
From: SF Markus Elfring <elfring@...rs.sourceforge.net>
To: Kees Cook <keescook@...omium.org>
Cc: Anton Vorontsov <anton@...msg.org>,
Colin Cross <ccross@...roid.com>,
Tony Luck <tony.luck@...el.com>,
kernel-janitors@...r.kernel.org,
LKML <linux-kernel@...r.kernel.org>
Subject: Re: pstore: Improve a size determination in three functions
> Which script detected this?
* checkpatch.pl
* The following approach for the semantic patch language.
@replacement@
identifier action, var, work;
statement s1, s2;
statement list sl;
type T, X;
@@
T work(...)
{
... when any
X* var;
... when any
var = action(...,
sizeof(
- X
+ *var
),
...
)
... when any
}
Powered by blists - more mailing lists