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)