Analyze Parameter Mutation - Code inspection

HI all, 

I dream of a way to hint at method call site whether a parameter mutates somewhere in the call tree under that method. Any fields that change could be collected and presented like checkCustomer(customer); // on hover on "customer" to display what changes (if anything) in checkCustomer and any invoked functions from it.

Might report false positives, but that's ok. 

Is there already such a feature?

It's big, but I'm curios.

Thanks.