Messages in this thread | | | Date | Thu, 18 Jun 2020 23:08:42 +0200 (CEST) | From | Julia Lawall <> | Subject | Re: [Cocci] [PATCH] coccinelle: misc: add array_size_dup script to detect missed overlow checks |
| |
On Thu, 18 Jun 2020, Kees Cook wrote:
> 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).
Yes
> So to do the matching from earlier: > > @@ > identifier i, fld; > expression e, ARG1, ARG2; > @@ > > array_size(\(\(i\|e.fld\|e->fld\) \& ARG1\), ARG2);
Yes, that would be fine.
julia
| |