[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <7e234efd-413c-ef6b-857b-d364db21141e@wanadoo.fr>
Date: Sun, 1 Oct 2023 09:50:20 +0200
From: Christophe JAILLET <christophe.jaillet@...adoo.fr>
To: Julia Lawall <julia.lawall@...ia.fr>,
Kees Cook <keescook@...omium.org>
Cc: Ian Abbott <abbotti@....co.uk>,
H Hartley Sweeten <hsweeten@...ionengravers.com>,
"Gustavo A. R. Silva" <gustavoars@...nel.org>,
Nathan Chancellor <nathan@...nel.org>,
Nick Desaulniers <ndesaulniers@...gle.com>,
Tom Rix <trix@...hat.com>, linux-kernel@...r.kernel.org,
kernel-janitors@...r.kernel.org, linux-hardening@...r.kernel.org,
llvm@...ts.linux.dev
Subject: Re: [PATCH] comedi: Annotate struct comedi_lrange with __counted_by
Le 01/10/2023 à 09:25, Julia Lawall a écrit :
>
> This is not found due to the regular expression used for the name of the
> alloc function. Maybe you could drop it entirely? Maybe you could just
> check for alloc somewhere in the string?
That's how I found it.
I simplified a lot Kees's script and looked for function names that did
*not* match his regex.
Functions that:
- return a pointer to a struct
- are used with struct_size()
- store the value used to compite the size in another field of the
struct
are good enough candidates.
I think that removing the regex all together would be just good enough.
CJ
>
> identifier ALLOC =~ "alloc";
>
> works in this case.
>
> Also, I see in the link that you have:
>
> // Options: --all-includes
>
> You can actually force this by putting
>
> #spatch --all-includes
Nice, thanks for the tip.
>
> and any other options you want.
>
> julia
>
>
Powered by blists - more mailing lists