Utilities static analyzer update

Add a check for the case where member data is modified through a derefenced pointer in a const function.