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. Also i wanted to know if i can get scripts of cocci files related to checking null dereference problems. Regards, anish
_______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
