Re: [cocci] Fwd: List global variables.

[Julia Lawall <julia.lawall@inria.fr>]

On Mon, 9 May 2022, Alessandro Carminati wrote:

> Hello Julia,
> The solution you sent indeed does what I expected.
> Although I needed a solution for this specific case, and yours fit my needs
> perfectly, I'd love it if you wanted to explain it to me.
> Would you mind add a short explanation of this statement:
> `position p : script:python(i) { p[0].current_element == i};`
> I probably have a simplified understanding of what a position is. Maybe it
> is worth digging deeper and having a more concrete knowledge. Any read you
> want to suggest to me?

Position variable have a collection of information about the position,
including the name of the containing object.  So if the name of the
containing object is the same as the name of the declared variable, then I
consider that the variable is a global variable.  If the name of the
containing object is different, then the declaration is inside a function
definition.

I think that if you have done make install for Coccinelle, then you should
be able to do man Coccilib and then find out about the fields for position
variable.  You may also be able to use reflection in python to get a list
of the field names.

julia