[Cocci] Checking varying accesses to members of local variables with SmPL

[Cocci] Checking varying accesses to members of local variables with SmPL

[Markus Elfring]

Hello,

The following information is provided in the manual for the semantic patch language.

“A metavariable declaration local idexpression v means that v is an expression
that is restricted to be a local variable. … A more complex description of
a location, such as a->b is considered to be an expression, not an idexpression.”
https://github.com/coccinelle/coccinelle/blob/14ce94ab4805f70405525829b5e11ea55f6f1d1b/docs/manual/cocci_syntax.tex#L281

I would expect that a local variable can refer also to a detailed data structure
(instead of mostly using simple data types).

* Can it become interesting then how the access to varying members from such
  a data structure hierarchy will be specified in the SmPL script?

* Is the specification of an access approach possible which would be independent
  from the nesting level?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci