[Cocci] Clarification for scripted SmPL constraints

SF Markus Elfring elfring at users.sourceforge.net
Sat Feb 17 15:54:16 CET 2018

>> Which parameters should be passed to the selected function?
> You can always pass the declared metavariable.

I have got special imaginations for convenient parameter passing
in such an use case.

> You can put a comma-separated list of inherited metavariables

Do you suggest that a dependency on metavariable inheritance is required?

> (r.a, r.b, ...) between the parentheses, and then use a, b, etc in the script code.

I would appreciate if the needed data would be directly available for
the predicate function (without repeating variable names).

> If there are no disjunctions in the rule and if the declared metavariable
> is no seprated by ... from a metavariable previously declared in the same rule,
> then the latter variable can be included in the () as well, with no rule
> name, and then used in the script code.

I find this condition hard to understand at the moment.


More information about the Cocci mailing list