satyr-0.43-3.fc41

List of Defects

Error: CPPCHECK_WARNING: [#def1]
satyr-0.43-build/satyr-0.43/lib/callgraph.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def2]
satyr-0.43-build/satyr-0.43/lib/callgraph.c:116:9: warning[deadcode.DeadStores]: Value stored to 'last' is never read
#  114|       {
#  115|           last->next = entry;
#  116|->         last = entry;
#  117|       }
#  118|       else

Error: CLANG_WARNING: [#def3]
satyr-0.43-build/satyr-0.43/lib/callgraph.c:119:21: warning[deadcode.DeadStores]: Although the value stored to 'last' is used in the enclosing expression, the value is never actually read from 'last'
#  117|       }
#  118|       else
#  119|->         callgraph = last = entry;
#  120|   
#  121|       uint64_t *callees = entry->callees;

Error: CPPCHECK_WARNING: [#def4]
satyr-0.43-build/satyr-0.43/lib/cluster.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def5]
satyr-0.43-build/satyr-0.43/lib/cluster.c:143:17: warning[core.uninitialized.Branch]: Branch condition evaluates to a garbage value
#  141|           for (i = 0, first = true; i < m; i++)
#  142|           {
#  143|->             if (!clusters[i].size)
#  144|                   continue;
#  145|   

Error: CPPCHECK_WARNING: [#def6]
satyr-0.43-build/satyr-0.43/lib/core_stacktrace.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def7]
satyr-0.43-build/satyr-0.43/lib/core_unwind.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: GCC_ANALYZER_WARNING (CWE-476): [#def8]
satyr-0.43-build/satyr-0.43/lib/core_unwind.c: scope_hint: In function 'sr_core_stacktrace_from_gdb'
satyr-0.43-build/satyr-0.43/lib/core_unwind.c:478:48: warning[-Wanalyzer-null-dereference]: dereference of NULL '0'
satyr-0.43-build/satyr-0.43/lib/internal_utils.h:26: included_from: Included from here.
satyr-0.43-build/satyr-0.43/lib/core_unwind.c:35: included_from: Included from here.
satyr-0.43-build/satyr-0.43/lib/core_unwind.c:34: included_from: Included from here.
satyr-0.43-build/satyr-0.43/lib/core_unwind.c:212:9: note: in expansion of macro 'set_error_elf'
satyr-0.43-build/satyr-0.43/lib/core_unwind.c:212:9: note: in expansion of macro 'set_error_elf'
#  476|                   continue;
#  477|   
#  478|->             struct sr_core_frame *core_frame = resolve_frame(ch->dwfl,
#  479|                       gdb_frame->address, false);
#  480|   

Error: GCC_ANALYZER_WARNING (CWE-476): [#def9]
satyr-0.43-build/satyr-0.43/lib/core_unwind.c:494:31: warning[-Wanalyzer-null-dereference]: dereference of NULL '0'
satyr-0.43-build/satyr-0.43/lib/core_unwind.c:212:9: note: in expansion of macro 'set_error_elf'
satyr-0.43-build/satyr-0.43/lib/core_unwind.c:212:9: note: in expansion of macro 'set_error_elf'
#  492|       }
#  493|   
#  494|->     core_stacktrace->signal = get_signal_number(ch->eh, core_file);
#  495|       core_stacktrace->executable = realpath(exe_file, NULL);
#  496|   

Error: CLANG_WARNING: [#def10]
satyr-0.43-build/satyr-0.43/lib/core_unwind_elfutils.c:147:6: warning[core.NullDereference]: Access to field 'threads_tail' results in a dereference of a null pointer (loaded from variable 'thread_arg')
#  145|       truncate_long_thread(result, &frame_arg);
#  146|   
#  147|->     *thread_arg->threads_tail = result;
#  148|       thread_arg->threads_tail = &result->next;
#  149|   

Error: CPPCHECK_WARNING: [#def11]
satyr-0.43-build/satyr-0.43/lib/disasm.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def12]
satyr-0.43-build/satyr-0.43/lib/distance.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def13]
satyr-0.43-build/satyr-0.43/lib/distance.c:226:13: warning[core.uninitialized.Assign]: Assigned value is garbage or undefined
#  224|               int l = m + j - i;
#  225|   
#  226|->             int dist2 = dist1[l];
#  227|               dist1[l] = dist[l];
#  228|   

Error: CLANG_WARNING: [#def14]
satyr-0.43-build/satyr-0.43/lib/distance.c:574:5: warning[deadcode.DeadStores]: Value stored to 'tail' is never read
#  572|       assert(counter == nelems_per_part);
#  573|       *tail = sr_distances_part_new(m, n, dist_type, m_begin, n_begin, counter);
#  574|->     tail = &((*tail)->next);
#  575|   
#  576|       return res;

Error: CPPCHECK_WARNING: [#def15]
satyr-0.43-build/satyr-0.43/lib/elves.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def16]
satyr-0.43-build/satyr-0.43/lib/gdb_frame.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def17]
satyr-0.43-build/satyr-0.43/lib/gdb_sharedlib.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def18]
satyr-0.43-build/satyr-0.43/lib/gdb_stacktrace.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def19]
satyr-0.43-build/satyr-0.43/lib/gdb_thread.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def20]
satyr-0.43-build/satyr-0.43/lib/generic_thread.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def21]
satyr-0.43-build/satyr-0.43/lib/java_frame.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def22]
satyr-0.43-build/satyr-0.43/lib/java_frame.c:391:9: warning[core.NonNullParamChecker]: Null pointer passed to 2nd parameter expecting 'nonnull'
#  389|       }
#  390|   
#  391|->     if (strncmp("Caused by: ", cursor, strlen("Caused by: ")) == 0)
#  392|       {
#  393|   parse_inner_exception:

Error: GCC_ANALYZER_WARNING (CWE-476): [#def23]
satyr-0.43-build/satyr-0.43/lib/java_frame.c: scope_hint: In function 'sr_java_frame_parse_exception'
satyr-0.43-build/satyr-0.43/lib/java_frame.c:405:26: warning[-Wanalyzer-null-dereference]: dereference of NULL '0'
#  403|   
#  404|           struct sr_java_frame *last_inner = sr_java_frame_get_last(inner);
#  405|->         last_inner->next = exception;
#  406|           exception = inner;
#  407|       }

Error: CLANG_WARNING: [#def24]
satyr-0.43-build/satyr-0.43/lib/js_platform.c:233:5: warning[deadcode.DeadStores]: Value stored to 'platform' is never read
#  231|       }
#  232|   
#  233|->     platform = sr_js_platform_new();
#  234|       sr_js_platform_init(platform, engine, runtime);
#  235|   

Error: GCC_ANALYZER_WARNING (CWE-476): [#def25]
satyr-0.43-build/satyr-0.43/lib/js_stacktrace.c: scope_hint: In function 'sr_js_stacktrace_parse_v8'
satyr-0.43-build/satyr-0.43/lib/js_stacktrace.c:192:30: warning[-Wanalyzer-null-dereference]: dereference of NULL 'last_frame'
#  190|               stacktrace->frames = current_frame;
#  191|           else
#  192|->             last_frame->next = current_frame;
#  193|   
#  194|           /* Eat newline (except at the end of file). */

Error: CLANG_WARNING: [#def26]
satyr-0.43-build/satyr-0.43/lib/js_stacktrace.c:192:30: warning[core.NullDereference]: Access to field 'next' results in a dereference of a null pointer (loaded from variable 'last_frame')
#  190|               stacktrace->frames = current_frame;
#  191|           else
#  192|->             last_frame->next = current_frame;
#  193|   
#  194|           /* Eat newline (except at the end of file). */

Error: CPPCHECK_WARNING: [#def27]
satyr-0.43-build/satyr-0.43/lib/koops_frame.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def28]
satyr-0.43-build/satyr-0.43/lib/koops_stacktrace.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def29]
satyr-0.43-build/satyr-0.43/lib/normalize.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def30]
satyr-0.43-build/satyr-0.43/lib/operating_system.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def31]
satyr-0.43-build/satyr-0.43/lib/python_frame.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def32]
satyr-0.43-build/satyr-0.43/lib/rpm.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def33]
satyr-0.43-build/satyr-0.43/lib/ruby_frame.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def34]
satyr-0.43-build/satyr-0.43/satyr.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: GCC_ANALYZER_WARNING (CWE-775): [#def35]
satyr-0.43-build/satyr-0.43/tests/dump_core.c: scope_hint: In function ‘dump_core’
satyr-0.43-build/satyr-0.43/tests/dump_core.c:62:14: warning[-Wanalyzer-fd-leak]: leak of file descriptor ‘open("/dev/null", 1)’
#   60|           int fd;
#   61|   
#   62|->         fd = open("/dev/null", O_WRONLY);
#   63|   
#   64|           dup2(fd, STDOUT_FILENO);

Error: GCC_ANALYZER_WARNING: [#def36]
satyr-0.43-build/satyr-0.43/tests/dump_core.c:64:9: warning[-Wanalyzer-fd-use-without-check]: ‘dup2’ on possibly invalid file descriptor ‘fd’
#   62|           fd = open("/dev/null", O_WRONLY);
#   63|   
#   64|->         dup2(fd, STDOUT_FILENO);
#   65|           dup2(fd, STDERR_FILENO);
#   66|   

Error: GCC_ANALYZER_WARNING: [#def37]
satyr-0.43-build/satyr-0.43/tests/dump_core.c:65:9: warning[-Wanalyzer-fd-use-without-check]: ‘dup2’ on possibly invalid file descriptor ‘fd’
#   63|   
#   64|           dup2(fd, STDOUT_FILENO);
#   65|->         dup2(fd, STDERR_FILENO);
#   66|   
#   67|           close(fd);

Scan Properties