Assessing The Impact Of Automatic Static Analysis On Software Quality