Improvement of the scan-build results