libconfig-1.7.3-11.fc43
List of Findings
Error: GCC_ANALYZER_WARNING (CWE-476): [#def1]
libconfig-1.7.3/examples/c/example4.c:104:7: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘result_next’
libconfig-1.7.3/examples/c/example4.c:88:5: branch_true: following ‘true’ branch...
branch_true: ...to here
libconfig-1.7.3/examples/c/example4.c:90:11: branch_true: following ‘true’ branch...
libconfig-1.7.3/examples/c/example4.c:92:60: branch_true: ...to here
libconfig-1.7.3/examples/c/example4.c:97:9: branch_true: following ‘true’ branch (when ‘result_count == result_capacity’)...
libconfig-1.7.3/examples/c/example4.c:99:9: branch_true: ...to here
libconfig-1.7.3/examples/c/example4.c:101:9: release_memory: ‘result’ is NULL
libconfig-1.7.3/examples/c/example4.c:104:7: danger: dereference of NULL ‘result_next’
Error: GCC_ANALYZER_WARNING (CWE-476): [#def2]
libconfig-1.7.3/examples/c/example4.c:113:3: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘result_next’
Error: GCC_ANALYZER_WARNING (CWE-457): [#def3]
libconfig-1.7.3/lib/grammar.c:1162:9: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value 'yyss'
libconfig-1.7.3/lib/grammar.c:1120:6: branch_true: following 'true' branch...
libconfig-1.7.3/lib/grammar.c:1126:28: branch_true: ...to here
libconfig-1.7.3/lib/grammar.c:1149:10: branch_false: following 'false' branch (when 'yystacksize <= 9999')...
libconfig-1.7.3/lib/grammar.c:1151:7: branch_false: ...to here
libconfig-1.7.3/lib/grammar.c:1160:12: branch_false: following 'false' branch (when 'yyptr' is non-NULL)...
libconfig-1.7.3/lib/grammar.c:1162:9: branch_false: ...to here
libconfig-1.7.3/lib/grammar.c:1162:9: danger: use of uninitialized value 'yyss' here
Error: GCC_ANALYZER_WARNING (CWE-476): [#def4]
libconfig-1.7.3/lib/libconfig.c:134:18: warning[-Wanalyzer-null-dereference]: dereference of NULL 'p'
libconfig-1.7.3/lib/libconfig.c:1609:19: enter_function: entry to 'config_setting_add'
libconfig-1.7.3/lib/libconfig.c:1612:5: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1615:5: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1615:5: branch_false: following 'false' branch (when 'parent' is non-NULL)...
libconfig-1.7.3/lib/libconfig.c:1618:7: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1621:5: branch_true: following 'true' branch...
libconfig-1.7.3/lib/libconfig.c:1630:6: branch_true: ...to here
libconfig-1.7.3/lib/libconfig.c:1630:6: call_function: calling 'config_setting_get_member' from 'config_setting_add'
Error: CPPCHECK_WARNING (CWE-476): [#def5]
libconfig-1.7.3/lib/libconfig.c:375: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: list
Error: GCC_ANALYZER_WARNING (CWE-476): [#def6]
libconfig-1.7.3/lib/libconfig.c:375:7: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL 'list'
libconfig-1.7.3/lib/libconfig.c:1506:19: enter_function: entry to 'config_setting_set_string_elem'
libconfig-1.7.3/lib/libconfig.c:1511:5: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1515:5: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1515:5: branch_true: following 'true' branch (when 'idx < 0')...
libconfig-1.7.3/lib/libconfig.c:1517:10: branch_true: ...to here
libconfig-1.7.3/lib/libconfig.c:1517:7: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1520:15: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1520:15: call_function: calling 'config_setting_create' from 'config_setting_set_string_elem'
Error: GCC_ANALYZER_WARNING (CWE-476): [#def7]
libconfig-1.7.3/lib/libconfig.c:382:3: warning[-Wanalyzer-null-dereference]: dereference of NULL '0'
libconfig-1.7.3/lib/libconfig.c:1506:19: enter_function: entry to 'config_setting_set_string_elem'
libconfig-1.7.3/lib/libconfig.c:1511:5: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1515:5: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1515:5: branch_true: following 'true' branch (when 'idx < 0')...
libconfig-1.7.3/lib/libconfig.c:1517:10: branch_true: ...to here
libconfig-1.7.3/lib/libconfig.c:1517:7: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1520:15: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1520:15: call_function: calling 'config_setting_create' from 'config_setting_set_string_elem'
Error: CPPCHECK_WARNING (CWE-476): [#def8]
libconfig-1.7.3/lib/libconfig.c:739: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: config->root
Error: CPPCHECK_WARNING (CWE-476): [#def9]
libconfig-1.7.3/lib/libconfig.c:838: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: setting
Error: GCC_ANALYZER_WARNING (CWE-476): [#def10]
libconfig-1.7.3/lib/libconfig.c:838:3: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL 'setting'
libconfig-1.7.3/lib/libconfig.c:1506:19: enter_function: entry to 'config_setting_set_string_elem'
libconfig-1.7.3/lib/libconfig.c:1511:5: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1515:5: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1515:5: branch_true: following 'true' branch (when 'idx < 0')...
libconfig-1.7.3/lib/libconfig.c:1517:10: branch_true: ...to here
libconfig-1.7.3/lib/libconfig.c:1517:7: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1520:15: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1520:15: call_function: calling 'config_setting_create' from 'config_setting_set_string_elem'
Error: CPPCHECK_WARNING (CWE-476): [#def11]
libconfig-1.7.3/lib/libconfig.c:839: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: setting
Error: CPPCHECK_WARNING (CWE-476): [#def12]
libconfig-1.7.3/lib/libconfig.c:840: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: setting
Error: CPPCHECK_WARNING (CWE-476): [#def13]
libconfig-1.7.3/lib/libconfig.c:841: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: setting
Error: CPPCHECK_WARNING (CWE-476): [#def14]
libconfig-1.7.3/lib/libconfig.c:842: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: setting
Error: CPPCHECK_WARNING (CWE-476): [#def15]
libconfig-1.7.3/lib/libconfig.c:843: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: setting
Error: GCC_ANALYZER_WARNING (CWE-476): [#def16]
libconfig-1.7.3/lib/libconfig.c:1052:10: warning[-Wanalyzer-null-dereference]: dereference of NULL 'setting'
libconfig-1.7.3/lib/libconfig.c:1332:19: enter_function: entry to 'config_setting_set_int_elem'
libconfig-1.7.3/lib/libconfig.c:1337:5: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1341:5: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1341:5: branch_true: following 'true' branch (when 'idx < 0')...
libconfig-1.7.3/lib/libconfig.c:1343:10: branch_true: ...to here
libconfig-1.7.3/lib/libconfig.c:1343:7: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1346:15: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1346:15: call_function: calling 'config_setting_create' from 'config_setting_set_int_elem'
libconfig-1.7.3/lib/libconfig.c:1346:15: return_function: returning to 'config_setting_set_int_elem' from 'config_setting_create'
libconfig-1.7.3/lib/libconfig.c:1356:8: call_function: calling 'config_setting_set_int' from 'config_setting_set_int_elem'
Error: GCC_ANALYZER_WARNING (CWE-476): [#def17]
libconfig-1.7.3/lib/libconfig.c:1080:10: warning[-Wanalyzer-null-dereference]: dereference of NULL 'setting'
libconfig-1.7.3/lib/libconfig.c:1374:19: enter_function: entry to 'config_setting_set_int64_elem'
libconfig-1.7.3/lib/libconfig.c:1379:5: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1383:5: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1383:5: branch_true: following 'true' branch (when 'idx < 0')...
libconfig-1.7.3/lib/libconfig.c:1385:10: branch_true: ...to here
libconfig-1.7.3/lib/libconfig.c:1385:7: branch_false: following 'false' branch...
libconfig-1.7.3/lib/libconfig.c:1388:15: branch_false: ...to here
libconfig-1.7.3/lib/libconfig.c:1388:15: call_function: calling 'config_setting_create' from 'config_setting_set_int64_elem'
libconfig-1.7.3/lib/libconfig.c:1388:15: return_function: returning to 'config_setting_set_int64_elem' from 'config_setting_create'
libconfig-1.7.3/lib/libconfig.c:1398:8: call_function: calling 'config_setting_set_int64' from 'config_setting_set_int64_elem'
Error: CPPCHECK_WARNING (CWE-476): [#def18]
libconfig-1.7.3/lib/libconfig.c:1745: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: file
Error: GCC_ANALYZER_WARNING (CWE-688): [#def19]
libconfig-1.7.3/lib/libconfig.c:1745:5: warning[-Wanalyzer-possible-null-argument]: use of possibly-NULL 'file' where non-null expected
libconfig-1.7.3/lib/libconfig.c:1742:5: branch_true: following 'true' branch...
libconfig-1.7.3/lib/libconfig.c:1744:20: acquire_memory: this call could return NULL
libconfig-1.7.3/lib/libconfig.c:1745:5: danger: argument 1 ('file') from [(3)](sarif:/runs/0/results/6/codeFlows/0/threadFlows/0/locations/2) could be NULL where non-null expected
Error: CPPCHECK_WARNING (CWE-476): [#def20]
libconfig-1.7.3/lib/libconfig.c:1746: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: file
Error: CPPCHECK_WARNING (CWE-476): [#def21]
libconfig-1.7.3/lib/libconfig.c:1747: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: file
Error: CPPCHECK_WARNING (CWE-476): [#def22]
libconfig-1.7.3/lib/libconfig.c:1755: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: files
Error: GCC_ANALYZER_WARNING (CWE-476): [#def23]
libconfig-1.7.3/lib/libconfig.c:1755:3: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL 'files'
libconfig-1.7.3/lib/libconfig.c:1754:26: acquire_memory: this call could return NULL
libconfig-1.7.3/lib/libconfig.c:1755:3: danger: 'files' could be NULL: unchecked value from [(1)](sarif:/runs/0/results/7/codeFlows/0/threadFlows/0/locations/0)
Error: CPPCHECK_WARNING (CWE-476): [#def24]
libconfig-1.7.3/lib/libconfig.c:1756: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: files
Error: GCC_ANALYZER_WARNING (CWE-401): [#def25]
libconfig-1.7.3/lib/scanner.c:1973:12: warning[-Wanalyzer-malloc-leak]: leak of 'libconfig_yyalloc(64, yyscanner)'
libconfig-1.7.3/lib/scanner.c:1959:21: enter_function: entry to 'libconfig_yy_create_buffer'
libconfig-1.7.3/lib/scanner.c:1963:24: call_function: calling 'libconfig_yyalloc' from 'libconfig_yy_create_buffer'
libconfig-1.7.3/lib/scanner.c:1963:24: return_function: returning to 'libconfig_yy_create_buffer' from 'libconfig_yyalloc'
libconfig-1.7.3/lib/scanner.c:1964:12: branch_false: following 'false' branch...
libconfig-1.7.3/lib/scanner.c:1967:2: branch_false: ...to here
libconfig-1.7.3/lib/scanner.c:1973:12: danger: 'libconfig_yyalloc(64, yyscanner)' leaks here; was allocated at [(4)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/3)
Error: GCC_ANALYZER_WARNING (CWE-476): [#def26]
libconfig-1.7.3/lib/scanner.c:2015:2: warning[-Wanalyzer-null-dereference]: dereference of NULL 'b'
libconfig-1.7.3/lib/scanner.c:1894:10: enter_function: entry to 'libconfig_yyrestart'
libconfig-1.7.3/lib/scanner.c:1899:16: call_function: calling 'libconfig_yyensure_buffer_stack' from 'libconfig_yyrestart'
libconfig-1.7.3/lib/scanner.c:1899:16: return_function: returning to 'libconfig_yyrestart' from 'libconfig_yyensure_buffer_stack'
libconfig-1.7.3/lib/scanner.c:1901:27: call_function: calling 'libconfig_yy_create_buffer' from 'libconfig_yyrestart'
libconfig-1.7.3/lib/scanner.c:1901:27: return_function: returning to 'libconfig_yyrestart' from 'libconfig_yy_create_buffer'
libconfig-1.7.3/lib/scanner.c:1904:2: branch_false: following 'false' branch...
libconfig-1.7.3/lib/scanner.c:1904:2: branch_false: ...to here
libconfig-1.7.3/lib/scanner.c:1904:2: call_function: calling 'libconfig_yy_init_buffer' from 'libconfig_yyrestart'
Error: GCC_ANALYZER_WARNING (CWE-401): [#def27]
libconfig-1.7.3/lib/scanner.c:2233:25: warning[-Wanalyzer-malloc-leak]: leak of 'libconfig_yyalloc(n, yyscanner)'
libconfig-1.7.3/lib/scanner.c:2217:17: enter_function: entry to 'libconfig_yy_scan_bytes'
libconfig-1.7.3/lib/scanner.c:2226:24: call_function: calling 'libconfig_yyalloc' from 'libconfig_yy_scan_bytes'
libconfig-1.7.3/lib/scanner.c:2226:24: return_function: returning to 'libconfig_yy_scan_bytes' from 'libconfig_yyalloc'
libconfig-1.7.3/lib/scanner.c:2227:12: branch_false: following 'false' branch...
branch_false: ...to here
libconfig-1.7.3/lib/scanner.c:2235:6: call_function: calling 'libconfig_yy_scan_buffer' from 'libconfig_yy_scan_bytes'
Error: COMPILER_WARNING: [#def28]
libconfig-1.7.3/tests/tests.c: scope_hint: In function ‘ParseInvalidFiles’
libconfig-1.7.3/tests/tests.c:73:56: warning[-Wformat-truncation=]: ‘%s’ directive output may be truncated writing up to 127 bytes into a region of size between 0 and 127
/usr/include/bits/stdio2.h:68:10: note: ‘__snprintf_chk’ output between 2 and 256 bytes into a destination of size 128
Error: COMPILER_WARNING: [#def29]
libconfig-1.7.3/tests/tests.c: scope_hint: In function ‘ParseInvalidStrings’
libconfig-1.7.3/tests/tests.c:97:60: warning[-Wformat-truncation=]: ‘%s’ directive output may be truncated writing up to 127 bytes into a region of size 121
/usr/include/bits/stdio2.h:68:10: note: ‘__snprintf_chk’ output between 8 and 135 bytes into a destination of size 128
Error: CPPCHECK_WARNING (CWE-476): [#def30]
libconfig-1.7.3/tests/tests.c:127: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: buf
Error: CPPCHECK_WARNING (CWE-476): [#def31]
libconfig-1.7.3/tests/tests.c:127: warning[nullPointerOutOfResources]: If resource allocation fails, then there is a possible null pointer dereference: fp
Error: CPPCHECK_WARNING (CWE-476): [#def32]
libconfig-1.7.3/tests/tests.c:128: warning[nullPointerOutOfResources]: If resource allocation fails, then there is a possible null pointer dereference: fp
Error: CPPCHECK_WARNING (CWE-682): [#def33]
libconfig-1.7.3/tests/tests.c:132: error[nullPointerArithmeticOutOfMemory]: If memory allocation fail: pointer addition with NULL pointer.
Error: CPPCHECK_WARNING (CWE-476): [#def34]
libconfig-1.7.3/tests/tests.c:176: warning[nullPointerOutOfResources]: If resource allocation fails, then there is a possible null pointer dereference: fp
Error: CPPCHECK_WARNING (CWE-476): [#def35]
libconfig-1.7.3/tests/tests.c:177: warning[nullPointerOutOfResources]: If resource allocation fails, then there is a possible null pointer dereference: fp
Error: CPPCHECK_WARNING (CWE-476): [#def36]
libconfig-1.7.3/tests/tests.c:206: warning[nullPointerOutOfResources]: If resource allocation fails, then there is a possible null pointer dereference: fp
Error: CPPCHECK_WARNING (CWE-476): [#def37]
libconfig-1.7.3/tests/tests.c:207: warning[nullPointerOutOfResources]: If resource allocation fails, then there is a possible null pointer dereference: fp
Error: CPPCHECK_WARNING (CWE-476): [#def38]
libconfig-1.7.3/tinytest/tinytest.c:228: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: suite
Error: GCC_ANALYZER_WARNING (CWE-476): [#def39]
libconfig-1.7.3/tinytest/tinytest.c:228:3: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘suite’
libconfig-1.7.3/tinytest/tinytest.c:227:27: acquire_memory: this call could return NULL
libconfig-1.7.3/tinytest/tinytest.c:228:3: danger: ‘suite’ could be NULL: unchecked value from [(1)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/0)
Error: CPPCHECK_WARNING (CWE-401): [#def40]
libconfig-1.7.3/tinytest/tinytest.c:229: error[memleak]: Memory leak: suite.name
Error: CPPCHECK_WARNING (CWE-476): [#def41]
libconfig-1.7.3/tinytest/tinytest.c:258: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: test
Error: GCC_ANALYZER_WARNING (CWE-476): [#def42]
libconfig-1.7.3/tinytest/tinytest.c:258:3: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘test’
libconfig-1.7.3/tinytest/tinytest.c:257:21: acquire_memory: this call could return NULL
libconfig-1.7.3/tinytest/tinytest.c:258:3: danger: ‘test’ could be NULL: unchecked value from [(1)](sarif:/runs/0/results/1/codeFlows/0/threadFlows/0/locations/0)
Error: CPPCHECK_WARNING (CWE-476): [#def43]
libconfig-1.7.3/tinytest/tinytest.c:259: warning[nullPointerOutOfMemory]: If memory allocation fails, then there is a possible null pointer dereference: test
Scan Properties
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 |
enabled-plugins | clippy, cppcheck, gcc, shellcheck, unicontrol |
exit-code | 0 |
host | ip-172-16-1-66.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 | libconfig-1.7.3-11.fc43 |
store-results-to | /tmp/tmpqo_9f7cz/libconfig-1.7.3-11.fc43.tar.xz |
time-created | 2025-04-25 13:51:13 |
time-finished | 2025-04-25 13:52:30 |
tool | csmock |
tool-args | '/usr/bin/csmock' '-r' 'fedora-rawhide-x86_64' '-t' 'unicontrol,cppcheck,gcc,clippy,shellcheck' '-o' '/tmp/tmpqo_9f7cz/libconfig-1.7.3-11.fc43.tar.xz' '--gcc-analyze' '--unicontrol-notests' '--unicontrol-bidi-only' '--install' 'pam' '--gcc-analyzer-bin=/usr/bin/gcc' '/tmp/tmpqo_9f7cz/libconfig-1.7.3-11.fc43.src.rpm' |
tool-version | csmock-3.8.1.20250422.172604.g26bc3d6-1.el9 |