Correct or suppress some analysis violations.