[Cocci] Finding function implementations that call only a single function.
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;
Then e2 should match the non-pointer type expressions.
More information about the Cocci