gc-8.2.2-6.fc40

List of Defects

Error: CPPCHECK_WARNING: [#def1]
gc-8.2.2-build/gc-8.2.2/cord/cordbscs.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def2]
gc-8.2.2-build/gc-8.2.2/cord/cordprnt.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def3]
gc-8.2.2-build/gc-8.2.2/cord/cordxtra.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: GCC_ANALYZER_WARNING (CWE-457): [#def4]
gc-8.2.2-build/gc-8.2.2/cord/cordxtra.c: scope_hint: In function 'CORD_ec_flush_buf'
gc-8.2.2-build/gc-8.2.2/cord/cordxtra.c:440:5: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value '&*x.ec_buf'
gc-8.2.2-build/gc-8.2.2/cord/cordxtra.c:39: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/cord/cordxtra.c:438:17: note: in expansion of macro 'GC_MALLOC_ATOMIC'
#  438|       s = (char *)GC_MALLOC_ATOMIC(len + 1);
#  439|       if (NULL == s) OUT_OF_MEMORY;
#  440|->     memcpy(s, x[0].ec_buf, len);
#  441|       s[len] = '\0';
#  442|       x[0].ec_cord = CORD_cat_char_star(x[0].ec_cord, s, len);

Error: GCC_ANALYZER_WARNING (CWE-775): [#def5]
gc-8.2.2-build/gc-8.2.2/extra/gc.c:63: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/os_dep.c: scope_hint: In function 'GC_linux_main_stack_base'
gc-8.2.2-build/gc-8.2.2/os_dep.c:110:20: warning[-Wanalyzer-fd-leak]: leak of file descriptor 'open("/proc/self/stat", 0)'
gc-8.2.2-build/gc-8.2.2/os_dep.c:123:26: note: in expansion of macro 'PROC_READ'
gc-8.2.2-build/gc-8.2.2/extra/gc.c:76: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/extra/gc.c:62: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/include/private/dbg_mlc.h:28: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/backgraph.c:15: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/extra/gc.c:40: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/misc.c:1197:7: note: in expansion of macro 'GET_TIME'
gc-8.2.2-build/gc-8.2.2/extra/gc.c:58: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/os_dep.c:123:26: note: in expansion of macro 'PROC_READ'
gc-8.2.2-build/gc-8.2.2/os_dep.c:123:26: note: in expansion of macro 'PROC_READ'
#  108|         || defined(PROC_VDB) || defined(SOFT_VDB)) && !defined(PROC_READ)) \
#  109|       || defined(CPPCHECK)
#  110|-> # define PROC_READ read
#  111|             /* Should probably call the real read, if read is wrapped.    */
#  112|   #endif

Error: COMPILER_WARNING: [#def6]
gc-8.2.2-build/gc-8.2.2/pthread_stop_world.c:359:19: warning[-Wstringop-overflow=]: '__atomic_load_8' writing 8 bytes into a region of size 0 overflows the destination
#  359 |     suspend_cnt = (word)ao_load_async(&(me -> stop_info.ext_suspend_cnt));
cc1: note: destination object is likely at address zero
#  357|   
#  358|   # ifdef GC_ENABLE_SUSPEND_THREAD
#  359|->     suspend_cnt = (word)ao_load_async(&(me -> stop_info.ext_suspend_cnt));
#  360|   # endif
#  361|     if (((word)me->stop_info.last_stop_count & ~(word)THREAD_RESTARTED)

Error: GCC_ANALYZER_WARNING (CWE-476): [#def7]
gc-8.2.2-build/gc-8.2.2/pthread_support.c: scope_hint: In function 'GC_check_finalizer_nested'
gc-8.2.2-build/gc-8.2.2/pthread_support.c:734:32: warning[-Wanalyzer-null-dereference]: dereference of NULL '0'
gc-8.2.2-build/gc-8.2.2/extra/gc.c:51: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/alloc.c:1285:5: note: in expansion of macro 'GC_INVOKE_FINALIZERS'
gc-8.2.2-build/gc-8.2.2/extra/gc.c:53: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/include/private/gc_priv.h:290: included_from: Included from here.
gc-8.2.2-build/gc-8.2.2/finalize.c:1289:5: note: in expansion of macro 'LOCK'
#  732|     {
#  733|       GC_thread me = GC_lookup_thread(pthread_self());
#  734|->     unsigned nesting_level = me->finalizer_nested;
#  735|   
#  736|       if (nesting_level) {

Scan Properties