On Wed, 2 Feb 2011, anish singh wrote:

>  On Tue, 1 Feb 2011, anish singh wrote:
> >
> > > Hello,
> > >
> > > I have a small query regarding specifying muliple .cocci files in the
> > below
> > > commands.
> > >
> > > ./spatch -sp_file cocci_name -dir dir_name
> > >
> > > Right now we can give only one .cocci file for checking the bugs against
> > the
> > > code.
> > >
> > > As i dont want to repeat the same process for every .cocci files i am
> > > looking for this option.
> >
> > The simple answer is to use a make file.
> >
> > You may also want to look into coccicheck, which is a simple framework for
> > applying a bunch of semantic patches to a single directory:
> > http://coccinelle.lip6.fr/coccicheck.php
> >
> 
> This worked like a charm.Thanks for pointing this out.One more question
> where can i find the updated scripts for finding out more bugs.As i know we
> ourselves can write the scripts but incase someone has come up with better
> one where can we find that.Does cocci maintains some kind of repositry where
> we can look for good scripts to find out more bugs?

Unfortunately there is not so much of that other than the directory in the 
Linux kernel and the web page I mentioned.

http://coccinelle.lip6.fr/rules/#null

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to