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

[Julia Lawall]

On Fri, 18 Oct 2019, Markus Elfring wrote:

> >> Will the distinction be improved for the safe usage of function pointers
> >> also together with the semantic patch language?
> >
> > I don't see any reason why declaring x as expression *x; should imply
> > anything about the type of the value returned by a function pointer.
>
> Function pointers have got also the property of a return type, don't they?

Function pointers certainly have a return type, but the return type could
be int.

julia

>
> I would like to restrict the kind of called functions at the mentioned place
> as precise as possible.
>
> By the way:
> Would we occasionally like to exclude the possibility for variable
> assignments with incompatible pointer types?
>
> Regards,
> Markus
>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci