Re: [Cocci] Software analysis with SmPL around unchecked pointer function calls

[Julia Lawall]

On Fri, 18 Oct 2019, Markus Elfring wrote:

> >> Which would be a simple way to find only calls of functions
> >> which have got a pointer return type?
> >
> > expression *y;
>
> I have got understanding difficulties with this SmPL variable specification.
> I (as a C programmer) would tend to interpret an asterisk before
> an expression as a pointer dereference (and not as a call with the desired
> function return type).
> Do I get an inappropriate impression here?

Yes.

In int *i; there is no pointer dereference.

Y should match a pointer-typed expression.

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci