[Cocci] Re: [PATCH 1/4] Add targets to use the Coccinelle checker

Américo Wang xiyou.wangcong at gmail.com
Wed May 12 08:42:30 CEST 2010


On Mon, May 10, 2010 at 06:24:24PM +0200, Nicolas Palix wrote:
>Four targets are added. Each one generates a different
>output kind: context, patch, org, report.
>Every SmPL file in 'scripts/coccinelle' is given to the spatch frontend
>(located in the 'scripts' directory), and applied to the entire
>source tree.
>
>Signed-off-by: Nicolas Palix <npalix at diku.dk>
>Signed-off-by: Julia Lawall <julia at diku.dk>

Hi,

This is great! I would like to see coccinelle to be integrated with kbuild,
but the name 'coccicheck' is really confusing, how about 'sema_check'? Which
means 'semantic check'.

Or we can use something like for sparse, i.e. 'make C=1' etc..

Thanks!



More information about the Cocci mailing list