Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Thu, 17 Nov 2016 10:36:47 +0100 (CET)
From: Julia Lawall <julia.lawall@...6.fr>
To: Peter Zijlstra <peterz@...radead.org>
cc: "Reshetova, Elena" <elena.reshetova@...el.com>, 
    Rik van Riel <riel@...hat.com>, 
    "kernel-hardening@...ts.openwall.com" <kernel-hardening@...ts.openwall.com>, 
    Will Deacon <will.deacon@....com>, Greg KH <gregkh@...uxfoundation.org>, 
    David Windsor <dave@...gbits.org>, Arnd Bergmann <arnd@...db.de>, 
    Thomas Gleixner <tglx@...utronix.de>, Ingo Molnar <mingo@...hat.com>, 
    "Anvin, H Peter" <h.peter.anvin@...el.com>
Subject: Re: Re: [RFC v4 PATCH 00/13] HARDENED_ATOMIC



On Thu, 17 Nov 2016, Peter Zijlstra wrote:

> On Wed, Nov 16, 2016 at 05:34:48PM +0000, Reshetova, Elena wrote:
>
> > I have a coccinelle rule now that found about 15 usages of it.
>
> Right, so can coccinelle detect the call_rcu/free call that is
> conditional on the dec_and_test when its hidden inside a few function
> calls?
>
> Also, we should really have a "make spatch" target so that we can run
> the thing concurrently with -j80 or somesuch, because as is coccinelle
> is unbearably slow.

In the kernel, there is already the make coccicheck infrastructure.  It
suffices to add the semantic patch to a subdirectory of
scripts/coccinelle.

julia

Powered by blists - more mailing lists

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.