linux-kernel - Re: [PATCH] coccinelle: fix verbose message about .cocci file being run

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Date:   Tue, 7 Nov 2017 09:27:50 +0900
From:   Masahiro Yamada <yamada.masahiro@...ionext.com>
To:     nicolas.palix@...v-grenoble-alpes.fr
Cc:     cocci@...teme.lip6.fr,
        Linux Kbuild mailing list <linux-kbuild@...r.kernel.org>,
        Julia Lawall <Julia.Lawall@...6.fr>,
        Linux Kernel Mailing List <linux-kernel@...r.kernel.org>,
        Gilles Muller <Gilles.Muller@...6.fr>,
        Michal Marek <michal.lkml@...kovi.net>
Subject: Re: [PATCH] coccinelle: fix verbose message about .cocci file being run

2017-10-26 16:22 GMT+09:00 Nicolas Palix (LIG) <Nicolas.Palix@...g.fr>:
> Le 26/10/17 à 06:55, Masahiro Yamada a écrit :
>>
>> If you run coccicheck with V=1 and COCCI=, you will see a strange
>> path to the semantic patch file.  For example, run the following:
>>
>> $ make V=1 COCCI=scripts/coccinelle/free/kfree.cocci coccicheck
>>    [ snip ]
>>   The semantic patch that makes this report is available
>>   in scriptcoccinelle/free/kfree.cocci.
>>
>> Notice "s/" was dropped from "scripts/coccinelle/free/kfree.cocci".
>>
>> When running coccicheck without O=, $srctree is expanded to ".", which
>> represents one arbitrary character in the regular expression.  Using
>> sed is not a good choice here.  Strip $srctree/ simply without sed.
>>
>> Signed-off-by: Masahiro Yamada <yamada.masahiro@...ionext.com>
>
> Acked-by: Nicolas Palix <nicolas.palix@...g.fr>
>>
>> ---

Applied to linux-kbuild/misc.


-- 
Best Regards
Masahiro Yamada