>>> Metavariables have types. Here X has pointer type. >> >> Our understanding of this software detail seems to match. >> >> But I assume that the asterisk can be treated in a different way by >> the isomorphism definition language in comparison to the semantic >> patch language. >> How much does context-dependent interpretation matter here? >> >> >>> There is no need for X to match a pointer that is dereferenced. >> >> I got further development imaginations around the places where >> you would specify pointer dereferences by metavariables instead of >> leaving asterisks in source code search fragments. > > This is incorrect.
Which detail do you find inappropriate from my feedback? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci