> If you want to check on many types and fields, you can use the following rule: > > @@ > identifier virtual.ty; > struct ty x; > identifier virtual.fld; > @@ > > * x.fld > > Then you can run it with the command-line options: > > -D ty=type_of_interest -D fld=field_of_interest
This data processing approach can be useful. But I imagine that an other approach can become nicer if more identifier combinations should be checked at once. * How do you think about to construct SmPL constraints for the mentioned metavariables in the format of lists or regular expressions? * Would you like to work with scripted SmPL constraints (so that even more helpful data structures can be applied)? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
