Added scan-build results