- find methods where particular field is mutated - find all methods (including transitive) where particular field is mutated