Reports invalid assignments to final variables, parameters and fields and not initialized final fields.