2018-06-15 14:06 GMT+09:00 Julia Lawall :
>
>
> On Thu, 14 Jun 2018, Kees Cook wrote:
>
>> On Fri, Sep 1, 2017 at 2:40 AM, Elena Reshetova
>> wrote:
>> > atomic_as_refcounter.cocci script allows detecting
>> > cases when refcount_t type and API should be used
>> > instead of atomic_t.
>> >
>> >
On Thu, 14 Jun 2018, Kees Cook wrote:
> On Fri, Sep 1, 2017 at 2:40 AM, Elena Reshetova
> wrote:
> > atomic_as_refcounter.cocci script allows detecting
> > cases when refcount_t type and API should be used
> > instead of atomic_t.
> >
> > Signed-off-by: Elena Reshetova
> > Acked-by: Julia
On Fri, Sep 1, 2017 at 2:40 AM, Elena Reshetova
wrote:
> atomic_as_refcounter.cocci script allows detecting
> cases when refcount_t type and API should be used
> instead of atomic_t.
>
> Signed-off-by: Elena Reshetova
> Acked-by: Julia Lawall
Reviewed-by: Kees Cook
Oops, I think this got
atomic_as_refcounter.cocci script allows detecting
cases when refcount_t type and API should be used
instead of atomic_t.
Signed-off-by: Elena Reshetova
Acked-by: Julia Lawall
---
scripts/coccinelle/api/atomic_as_refcounter.cocci | 131
> On Wed, 30 Aug 2017, Reshetova, Elena wrote:
>
> >
> > >
> > > On Wed, 30 Aug 2017, Elena Reshetova wrote:
> > >
> > > > atomic_as_refcounter.cocci script allows detecting
> > > > cases when refcount_t type and API should be used
> > > > instead of atomic_t.
> > > >
> > > > Signed-off-by: Elena
On Wed, 30 Aug 2017, Reshetova, Elena wrote:
>
> >
> > On Wed, 30 Aug 2017, Elena Reshetova wrote:
> >
> > > atomic_as_refcounter.cocci script allows detecting
> > > cases when refcount_t type and API should be used
> > > instead of atomic_t.
> > >
> > > Signed-off-by: Elena Reshetova
>
> On Wed, 30 Aug 2017, Elena Reshetova wrote:
>
> > atomic_as_refcounter.cocci script allows detecting
> > cases when refcount_t type and API should be used
> > instead of atomic_t.
> >
> > Signed-off-by: Elena Reshetova
>
> Acked-by: Julia Lawall
On Wed, 30 Aug 2017, Elena Reshetova wrote:
> atomic_as_refcounter.cocci script allows detecting
> cases when refcount_t type and API should be used
> instead of atomic_t.
>
> Signed-off-by: Elena Reshetova
Acked-by: Julia Lawall
> ---
>
atomic_as_refcounter.cocci script allows detecting
cases when refcount_t type and API should be used
instead of atomic_t.
Signed-off-by: Elena Reshetova
---
scripts/coccinelle/api/atomic_as_refcounter.cocci | 131 ++
1 file changed, 131
> > +identifier fname =~ ".*free.*";
> > +identifier fname2 =~ ".*destroy.*";
> > +identifier fname3 =~ ".*del.*";
> > +identifier fname4 =~ ".*queue_work.*";
> > +identifier fname5 =~ ".*schedule_work.*";
> > +identifier fname6 =~ ".*call_rcu.*";
>
> Personally, I find the above regular
> +identifier fname =~ ".*free.*";
> +identifier fname2 =~ ".*destroy.*";
> +identifier fname3 =~ ".*del.*";
> +identifier fname4 =~ ".*queue_work.*";
> +identifier fname5 =~ ".*schedule_work.*";
> +identifier fname6 =~ ".*call_rcu.*";
Personally, I find the above regular expressions much easier
atomic_as_refcounter.cocci script allows detecting
cases when refcount_t type and API should be used
instead of atomic_t.
Signed-off-by: Elena Reshetova
---
scripts/coccinelle/api/atomic_as_refcounter.cocci | 133 ++
1 file changed, 133
> On Mon, 14 Aug 2017, Elena Reshetova wrote:
>
> > atomic_as_refcounter.cocci script allows detecting
> > cases when refcount_t type and API should be used
> > instead of atomic_t.
> >
> > Signed-off-by: Elena Reshetova
> > ---
> >
On Mon, 14 Aug 2017, Elena Reshetova wrote:
> atomic_as_refcounter.cocci script allows detecting
> cases when refcount_t type and API should be used
> instead of atomic_t.
>
> Signed-off-by: Elena Reshetova
> ---
> scripts/coccinelle/api/atomic_as_refcounter.cocci |
atomic_as_refcounter.cocci script allows detecting
cases when refcount_t type and API should be used
instead of atomic_t.
Signed-off-by: Elena Reshetova
---
scripts/coccinelle/api/atomic_as_refcounter.cocci | 148 ++
1 file changed, 148
> On Tue, 18 Jul 2017, Elena Reshetova wrote:
>
> > atomic_as_refcounter.cocci script allows detecting
> > cases when refcount_t type and API should be used
> > instead of atomic_t.
> >
> > Signed-off-by: Elena Reshetova
> > ---
> >
On Tue, 18 Jul 2017, Elena Reshetova wrote:
> atomic_as_refcounter.cocci script allows detecting
> cases when refcount_t type and API should be used
> instead of atomic_t.
>
> Signed-off-by: Elena Reshetova
> ---
> scripts/coccinelle/api/atomic_as_refcounter.cocci |
On Tue, Jul 18, 2017 at 12:48 AM, Elena Reshetova
wrote:
> atomic_as_refcounter.cocci script allows detecting
> cases when refcount_t type and API should be used
> instead of atomic_t.
>
> Signed-off-by: Elena Reshetova
> ---
>
atomic_as_refcounter.cocci script allows detecting
cases when refcount_t type and API should be used
instead of atomic_t.
Signed-off-by: Elena Reshetova
---
scripts/coccinelle/api/atomic_as_refcounter.cocci | 102 ++
1 file changed, 102
19 matches
Mail list logo