Hello,
I would like to try another source code transformation out with the help of
the semantic patch language.
The following approach can express a bit of information I became interested in.
{
... when any
when != action(..., input, ...)
}
Now I am looking for ways to restrict (or filter) such function calls further.
The passed parameter should correspond to a specific data type property.
Can it be determined here together with a scripted constraint?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
