Re: [cocci] Searching for questionable call pairs (with SmPL)?

[Markus Elfring <Markus.Elfring@web.de>]

> Would you like to add any insights why an additional qualification
> would become relevant for the first SmPL ellipsis in the discussed
> source code search pattern?

Would you get further development ideas if the source code search approach
(like the following for example) would be more general?


@display@
expression allocate, release, x, y;
@@
*allocate(x);
 ... when forall
*allocate(y);
 <+...
*release(x);
 ...
*release(y);
 ...+>


How do you think about to refine the selection of relevant
macro/function calls here?

Will any constraints become more interesting for usable call pairs?

Regards,
Markus