Error: GCC_ANALYZER_WARNING (CWE-465): [#def1] gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3848:22: warning[-Wanalyzer-deref-before-check]: check of ‘*((struct bfd_symbol **)psymsec)’ for NULL after already dereferencing it gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3498:1: enter_function: entry to ‘coff_write_object_contents’ gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3603:6: branch_false: following ‘false’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3607:8: branch_false: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3608:8: branch_true: following ‘true’ branch (when ‘current’ is non-NULL)... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3623:7: branch_true: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3767:10: branch_true: following ‘true’ branch (when the strings are equal)... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3782:11: branch_true: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3783:11: branch_false: following ‘false’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3814:31: branch_false: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3816:14: branch_false: following ‘false’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3817:18: branch_false: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3816:15: branch_false: following ‘false’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3825:12: branch_false: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3825:10: branch_true: following ‘true’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3833:19: call_function: inlined call to ‘bfd_get_symcount’ from ‘coff_write_object_contents’ gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3834:48: branch_true: following ‘true’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3836:19: branch_true: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3836:18: branch_true: following ‘true’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3836:18: branch_true: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3834:48: branch_true: following ‘true’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3836:19: branch_true: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3841:18: branch_true: following ‘true’ branch (when ‘psymsec’ is NULL)... branch_true: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3834:48: branch_true: following ‘true’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3836:19: branch_true: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3836:18: branch_false: following ‘false’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3841:18: branch_false: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3841:18: branch_false: following ‘false’ branch (when ‘psymsec’ is non-NULL)... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3845:19: branch_false: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3845:18: branch_true: following ‘true’ branch (when the strings are equal)... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3847:26: call_function: inlined call to ‘bfd_asymbol_bfd’ from ‘coff_write_object_contents’ gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3847:26: branch_true: following ‘true’ branch... gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3848:22: branch_true: ...to here gdb-16.2/build-x86_64-redhat-linux-gnu-minimal/bfd/../../bfd/coffcode.h:3848:22: danger: pointer ‘*((struct bfd_symbol **)psymsec)’ is checked for NULL here but it was already dereferenced at [(28)](sarif:/runs/0/results/2/codeFlows/0/threadFlows/0/locations/27) # 3846| { # 3847| csym = coff_symbol_from (*psym); # 3848|-> if (csym == NULL # 3849| || csym->native == NULL # 3850| || ! csym->native->is_sym
| analyzer-version-clippy | 1.86.0 |
| analyzer-version-cppcheck | 2.17.1 |
| analyzer-version-gcc | 15.0.1 |
| analyzer-version-gcc-analyzer | 15.0.1 |
| analyzer-version-shellcheck | 0.10.0 |
| analyzer-version-unicontrol | 0.0.2 |
| diffbase-analyzer-version-clippy | 1.86.0 |
| diffbase-analyzer-version-cppcheck | 2.17.1 |
| diffbase-analyzer-version-gcc | 15.0.1 |
| diffbase-analyzer-version-gcc-analyzer | 15.0.1 |
| diffbase-analyzer-version-shellcheck | 0.10.0 |
| diffbase-analyzer-version-unicontrol | 0.0.2 |
| diffbase-enabled-plugins | clippy, cppcheck, gcc, shellcheck, unicontrol |
| diffbase-exit-code | 0 |
| diffbase-host | ip-172-16-1-75.us-west-2.compute.internal |
| diffbase-known-false-positives | /usr/share/csmock/known-false-positives.js |
| diffbase-known-false-positives-rpm | known-false-positives-0.0.0.20250425.124705.g1c7c448.main-1.el9.noarch |
| diffbase-mock-config | fedora-rawhide-x86_64 |
| diffbase-project-name | gdb-16.2-3.fc42 |
| diffbase-store-results-to | /tmp/tmpxcp3jivt/gdb-16.2-3.fc42.tar.xz |
| diffbase-time-created | 2025-04-25 12:33:52 |
| diffbase-time-finished | 2025-04-25 12:52:46 |
| diffbase-tool | csmock |
| diffbase-tool-args | '/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'unicontrol,cppcheck,gcc,clippy,shellcheck' '-o' '/tmp/tmpxcp3jivt/gdb-16.2-3.fc42.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmpxcp3jivt/gdb-16.2-3.fc42.src.rpm' |
| diffbase-tool-version | csmock-3.8.1.20250422.172604.g26bc3d6-1.el9 |
| enabled-plugins | clippy, cppcheck, gcc, shellcheck, unicontrol |
| exit-code | 0 |
| host | ip-172-16-1-75.us-west-2.compute.internal |
| known-false-positives | /usr/share/csmock/known-false-positives.js |
| known-false-positives-rpm | known-false-positives-0.0.0.20250425.124705.g1c7c448.main-1.el9.noarch |
| mock-config | fedora-rawhide-x86_64 |
| project-name | gdb-16.2-3.fc43 |
| store-results-to | /tmp/tmpjez9myp3/gdb-16.2-3.fc43.tar.xz |
| time-created | 2025-04-25 12:53:30 |
| time-finished | 2025-04-25 13:11:58 |
| title | Newly introduced findings |
| tool | csmock |
| tool-args | '/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'unicontrol,cppcheck,gcc,clippy,shellcheck' '-o' '/tmp/tmpjez9myp3/gdb-16.2-3.fc43.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmpjez9myp3/gdb-16.2-3.fc43.src.rpm' |
| tool-version | csmock-3.8.1.20250422.172604.g26bc3d6-1.el9 |