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 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)
