Re: [Cocci] [PATCH v2 01/31] coccinelle: Improve setup_timer.cocci matching

2017-09-23 Thread Julia Lawall
On Wed, 20 Sep 2017, Kees Cook wrote: > This improves the patch mode of setup_timer.cocci. Several patterns > were missing: > - assignments-before-init_timer() cases > - limit the .data case removal to the specific struct timer_list instance > - handling calls by dereference (timer->field vs

Re: [Cocci] [PATCH] coccicheck: improve pattern for getting relative path

2017-09-23 Thread Nicolas Palix (LIG)
Le 10/08/17 à 19:40, Cihangir Akturk a écrit : When invoked with V=1, coccicheck script prints the information about which semantic patch (*.cocci file) used for this operation. Actually, it prints out the relative path of the related semantic patch. The script uses sed to remove the source