[Cocci] coccinelle: also catch kzfree() issues

SF Markus Elfring elfring at users.sourceforge.net
Tue Feb 16 21:02:17 CET 2016


>>  @free@
>> +identifier kfree =~ "kz?free";
> 
> Thanks for the suggestions.  However, the regular expression is not such a
> good idea.

How much is such a SmPL constraint still usable then?


> Coccinelle doesn't make any optimizations based on regulat expressions.

Where can your software optimise the source code search?


> It would be better to put a disjunction with kfree and kzfree explicitly,
> as in the other cases.

What are the circumstances for corresponding benefits?

Regards,
Markus


More information about the Cocci mailing list