Messages in this thread | | | Date | Thu, 18 Jun 2020 13:48:17 -0700 | From | Kees Cook <> | Subject | Re: [Cocci] [PATCH] coccinelle: misc: add array_size_dup script to detect missed overlow checks |
| |
On Thu, Jun 18, 2020 at 09:56:18PM +0200, Julia Lawall wrote: > @@ > identifier i,fld; > expression e; > @@ > > \(\(i\|e.fld\|e->fld\) \& E\) > > The e will match all of the variants you are concerned about.
Ah, I see! Okay, that's good. And the "& E" part is to effectively collect it into E (as in, both the left and right of the & must match).
So to do the matching from earlier:
@@ identifier i, fld; expression e, ARG1, ARG2; @@
array_size(\(\(i\|e.fld\|e->fld\) \& ARG1\), ARG2);
?
-- Kees Cook
| |