I have imagined that the discussed expression needs specific constraints for
the use of the access operators "." and "->" so that calls to member functions
which do not perform input parameter validation will be properly identified.
I don't understand the above. An expression is any expression. But only things
like f, f.a, f.a.b.c.d, f->a->b are likely to appear in function position.
I try another wording.
I distinguish the use case if "f" represents a well-known function name or an
expression will be resolved to a function pointer.
How do you determine by the means of the semantic patch language efficiently
that a variable points to a function with the mentioned properties?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
