Re: [PATCH v4] coccinelle: api: add kzfree script

2020-08-11 Thread Denis Efremov
On 8/11/20 2:45 AM, Eric Biggers wrote: > On Fri, Jul 17, 2020 at 10:39:20PM +0200, Julia Lawall wrote: >> >> >> On Fri, 17 Jul 2020, Denis Efremov wrote: >> >>> Check for memset()/memzero_explicit() followed by kfree()/vfree()/kvfree(). >>> >>> Signed-off-by: Denis Efremov >> >> Applied. > >

Re: [PATCH v4] coccinelle: api: add kzfree script

2020-08-10 Thread Eric Biggers
On Fri, Jul 17, 2020 at 10:39:20PM +0200, Julia Lawall wrote: > > > On Fri, 17 Jul 2020, Denis Efremov wrote: > > > Check for memset()/memzero_explicit() followed by kfree()/vfree()/kvfree(). > > > > Signed-off-by: Denis Efremov > > Applied. FYI, this new script is already outdated, since kzf

Re: [PATCH v4] coccinelle: api: add kzfree script

2020-07-17 Thread Julia Lawall
On Fri, 17 Jul 2020, Denis Efremov wrote: > Check for memset()/memzero_explicit() followed by kfree()/vfree()/kvfree(). > > Signed-off-by: Denis Efremov Applied. > --- > Changes in v2: > - memset_explicit() added > - kvfree_sensitive() added > - forall added to r1 > - ... between memset

Re: [PATCH v4] coccinelle: api: add kzfree script

2020-07-17 Thread Markus Elfring
I dare to repeat previous patch review aspects once more. https://lore.kernel.org/cocci/a316f076-1686-25d8-18fe-1bbc0cf9a...@web.de/ … > +virtual context > +virtual patch > +virtual org > +virtual report +virtual context, patch, org, report Is such a SmPL code variant more succinct? … > +if (.

[PATCH v4] coccinelle: api: add kzfree script

2020-07-17 Thread Denis Efremov
Check for memset()/memzero_explicit() followed by kfree()/vfree()/kvfree(). Signed-off-by: Denis Efremov --- Changes in v2: - memset_explicit() added - kvfree_sensitive() added - forall added to r1 - ... between memset and kfree added Changes in v3: - Explicit filter for definitions instead