Would you like to acknowledge that function names will need SmPL constraints
that will be different from the name list for function pointers in data
structures?

I don't understand this sentence at all.

I try to apply constraints for SmPL metavariables because some functions must be handled specially because they do not perform input parameter validation.
http://coccinelle.lip6.fr/docs/main_grammar002.html#metadecl

My programming experience shows that the name sets are different for
- direct function calls
  and
- calls to member functions.

I guess that you are also used to this software development issue, aren't you?

I'm not so experienced to express this distinction with the semantic patch 
language.

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

Reply via email to