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

[Julia Lawall]

On Fri, 18 Oct 2019, Markus Elfring wrote:

> > Why not just
>
> @display@
> expression x, y;
> @@
> *y = (x)(...);
>  ... when != y
>
>
> It seems that such a source code search approach has got a high probability
> for false positives, doesn't it?
> Thus I am trying again to restrict it in reasonable ways.
>
> Which would be a simple way to find only calls of functions
> which have got a pointer return type?

expression *y;

julia

> Do any function signatures need to be taken into account
> if you would not like to store a long function name list copy?
>
> Regards,
> Markus
>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci