Updated scan-build information