Predicting Software Defect Density: A Case Study on Automated Static Code Analysis