static analysis results