Empirical Assessment of the Impact of Automatic Static Analysis on Code Quality