[Cocci] Finding function implementations that call only a single function.

Julia Lawall julia.lawall at lip6.fr
Wed Dec 17 20:20:35 CET 2014

On Wed, 17 Dec 2014, SF Markus Elfring wrote:

> > I suggest to reconsider this situation once more.
> I have looked at my script "list_functions_with_single_function_call5.cocci" again.
> > * It can be that I got stuck somehow in this application variant as the
> >   number of relevant rules grew.
> It seems that I made a bit progress in a better direction.
> Now I stumble on the next detail problem if I try to design the needed
> SmPL rules for more specific source code.
> * How can it be excluded with the semantic patch language to match non-pointer
>   data types with the metavariable type "type?"
> * Which is the best way to distinguish non-pointer types from pointer data types
>   with metavariables?

If you do the following:

expression * e1;
expression e2;


Then e2 should match the non-pointer type expressions.


More information about the Cocci mailing list