Error: GCC_ANALYZER_WARNING (CWE-465): [#def1] systemd-stable-255.4/src/basic/unit-name.c: scope_hint: In function ‘unit_name_is_valid.part.0’ systemd-stable-255.4/src/basic/unit-name.c:65:31: warning[-Wanalyzer-deref-before-check]: check of ‘at’ for NULL after already dereferencing it systemd-stable-255.4/src/basic/alloc-util.h:10: included_from: Included from here. systemd-stable-255.4/src/basic/unit-name.c:10: included_from: Included from here. systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:714:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/macro.h:13: included_from: Included from here. systemd-stable-255.4/src/basic/macro.h:148:21: note: in expansion of macro ‘_unlikely_’ systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:715:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:715:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/macro.h:148:21: note: in expansion of macro ‘_unlikely_’ systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:716:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:716:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/unit-name.c: scope_hint: In function ‘unit_name_is_valid.part.0’ systemd-stable-255.4/src/basic/unit-name.c: scope_hint: In function ‘unit_name_is_valid.part.0’ systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:45:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/unit-name.c:47:13: note: in expansion of macro ‘_unlikely_’ systemd-stable-255.4/src/basic/unit-name.c: scope_hint: In function ‘unit_name_is_valid.part.0’ systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:672:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/macro.h:148:21: note: in expansion of macro ‘_unlikely_’ systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:673:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:673:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/macro.h:392: included_from: Included from here. systemd-stable-255.4/src/basic/log.h:212:31: note: in definition of macro ‘log_full_errno_zerook’ systemd-stable-255.4/src/basic/unit-name.c:766:17: note: in expansion of macro ‘log_full’ systemd-stable-255.4/src/basic/log.h:236:24: note: in expansion of macro ‘log_full_errno_zerook’ systemd-stable-255.4/src/basic/unit-name.c:766:17: note: in expansion of macro ‘log_full’ systemd-stable-255.4/src/basic/log.h:236:24: note: in expansion of macro ‘log_full_errno_zerook’ systemd-stable-255.4/src/basic/unit-name.c:766:17: note: in expansion of macro ‘log_full’ systemd-stable-255.4/src/basic/macro.h:165:22: note: in expansion of macro ‘assert_message_se’ systemd-stable-255.4/src/basic/unit-name.c:45:9: note: in expansion of macro ‘assert’ systemd-stable-255.4/src/basic/unit-name.c:47:13: note: in expansion of macro ‘_unlikely_’ # 63| for (i = n, at = NULL; i < e; i++) { # 64| # 65|-> if (*i == '@' && !at) # 66| at = i; # 67|
| analyzer-version-clang | 18.1.1 |
| analyzer-version-cppcheck | 2.13.0 |
| analyzer-version-gcc | 14.0.1 |
| analyzer-version-gcc-analyzer | 14.0.1 |
| analyzer-version-shellcheck | 0.9.0 |
| diffbase-analyzer-version-clang | 18.1.1 |
| diffbase-analyzer-version-cppcheck | 2.13.0 |
| diffbase-analyzer-version-gcc | 14.0.1 |
| diffbase-analyzer-version-gcc-analyzer | 14.0.1 |
| diffbase-analyzer-version-shellcheck | 0.9.0 |
| diffbase-enabled-plugins | clang, cppcheck, gcc, shellcheck |
| diffbase-exit-code | 0 |
| diffbase-host | ip-172-16-1-74.us-west-2.compute.internal |
| diffbase-mock-config | fedora-40-x86_64 |
| diffbase-project-name | systemd-255.4-1.fc40 |
| diffbase-store-results-to | /tmp/tmp08a4wqdv/systemd-255.4-1.fc40.tar.xz |
| diffbase-time-created | 2024-04-13 07:26:23 |
| diffbase-time-finished | 2024-04-13 08:27:58 |
| diffbase-tool | csmock |
| diffbase-tool-args | '/usr/bin/csmock' '-r' 'fedora-40-x86_64' '-t' 'shellcheck,clang,gcc,cppcheck' '-o' '/tmp/tmp08a4wqdv/systemd-255.4-1.fc40.tar.xz' '--gcc-analyze' '/tmp/tmp08a4wqdv/systemd-255.4-1.fc40.src.rpm' |
| diffbase-tool-version | csmock-3.5.3-1.el9 |
| enabled-plugins | clang, cppcheck, gcc, shellcheck |
| exit-code | 0 |
| host | ip-172-16-1-74.us-west-2.compute.internal |
| mock-config | fedora-40-x86_64 |
| project-name | systemd-255.4-1.fc41 |
| store-results-to | /tmp/tmpkxxq_l1c/systemd-255.4-1.fc41.tar.xz |
| time-created | 2024-04-13 08:29:14 |
| time-finished | 2024-04-13 09:29:19 |
| title | Newly introduced defects |
| tool | csmock |
| tool-args | '/usr/bin/csmock' '-r' 'fedora-40-x86_64' '-t' 'shellcheck,clang,gcc,cppcheck' '-o' '/tmp/tmpkxxq_l1c/systemd-255.4-1.fc41.tar.xz' '--gcc-analyze' '/tmp/tmpkxxq_l1c/systemd-255.4-1.fc41.src.rpm' |
| tool-version | csmock-3.5.3-1.el9 |