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? > > If you are interested in multiple directories, or if your semantic patches > need different command-line arguments, you will want to use Herodotos, > which is a bit more complicated, but more flexible as well: > http://coccinelle.lip6.fr/herodotos/herodotos.php > > > Also i wanted to know if i can get scripts of cocci files related to > > checking null dereference problems. > > There are some examples here: 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)
