Messages in this thread | | | Date | Wed, 12 May 2010 14:42:30 +0800 | From | Américo Wang <> | Subject | Re: [PATCH 1/4] Add targets to use the Coccinelle checker |
| |
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@diku.dk> >Signed-off-by: Julia Lawall <julia@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!
| |