I'd like to have a rule that would match both:

function(ptr);
ptr->field = 7;

and

function(&obj);
obj.field = 7;

to produce:

new_function(ptr, 7);

and

new_function(&obj, 7);

respectively. The internal isomorphisms don't seem to cover this? Or
I'm maybe doing something wrong?

Thanks!

-Kees

-- 
Kees Cook
Pixel Security
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to