Reports uninitialized final fields, invalid assignments to final variables, and parameters and fields.