liblc3-1.0.4-4.fc40
List of Defects
Error: CPPCHECK_WARNING: [#def1]
liblc3-1.0.4-build/liblc3-1.0.4/src/attdet.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def2]
liblc3-1.0.4-build/liblc3-1.0.4/src/bits.c:281:17: warning[core.BitwiseShift]: Right shift by '32' overflows the capacity of 'unsigned int'
# 279| /* --- Accumulate remaining bits -- */
# 280|
# 281|-> accu->v = v >> n1;
# 282| accu->n = n - n1;
# 283| }
Error: CPPCHECK_WARNING: [#def3]
liblc3-1.0.4-build/liblc3-1.0.4/src/bwdet.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def4]
liblc3-1.0.4-build/liblc3-1.0.4/src/lc3.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def5]
liblc3-1.0.4-build/liblc3-1.0.4/src/ltpf.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: GCC_ANALYZER_WARNING (CWE-457): [#def6]
liblc3-1.0.4-build/liblc3-1.0.4/src/ltpf.c:453:23: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
liblc3-1.0.4-build/liblc3-1.0.4/src/ltpf.c: scope_hint: In function ‘detect_pitch’
# 451|
# 452| for (int i = 1; i < n; i++, w += w_incr)
# 453|-> if (xw_max < x[i] * w)
# 454| xw_max = (*x_max = x[arg = i]) * w;
# 455|
Error: CPPCHECK_WARNING: [#def7]
liblc3-1.0.4-build/liblc3-1.0.4/src/sns.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def8]
liblc3-1.0.4-build/liblc3-1.0.4/src/sns.c:334:16: warning[deadcode.DeadStores]: Although the value stored to 'sn' is used in the enclosing expression, the value is never actually read from 'sn'
# 332|
# 333| scf[14] = (sn ) * 1.f/4;
# 334|-> scf[15] = (sn -= s1) * 1.f/3;
# 335| scf_sum += scf[14] + scf[15];
# 336|
Error: CLANG_WARNING: [#def9]
liblc3-1.0.4-build/liblc3-1.0.4/src/sns.c:488:5: warning[deadcode.DeadStores]: Value stored to 'npulses' is never read
# 486|
# 487| add_pulse(xm, c[1], 10, npulses, 10, &corr, &energy);
# 488|-> npulses = 10;
# 489|
# 490| /* --- Shape 0 candidate ---
Error: GCC_ANALYZER_WARNING (CWE-835): [#def10]
liblc3-1.0.4-build/liblc3-1.0.4/src/sns.c: scope_hint: In function ‘deenum_mvpq’
liblc3-1.0.4-build/liblc3-1.0.4/src/sns.c:605:60: warning[-Wanalyzer-infinite-loop]: infinite loop
# 603| int ci = 0;
# 604|
# 605|-> for (ci = 0; idx < lc3_sns_mpvq_offsets[i][npulses - ci]; ci++);
# 606| idx -= lc3_sns_mpvq_offsets[i][npulses - ci];
# 607|
Error: CPPCHECK_WARNING: [#def11]
liblc3-1.0.4-build/liblc3-1.0.4/src/spec.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def12]
liblc3-1.0.4-build/liblc3-1.0.4/src/spec.c:815:5: warning[deadcode.DeadStores]: Value stored to 'nbits' is never read
# 813|
# 814| side->g_idx = g_int + g_adj + g_off;
# 815|-> nbits = compute_nbits(dt, sr, nbytes,
# 816| xq, &side->nq, nbits_budget, &side->lsb_mode);
# 817| }
Error: CPPCHECK_WARNING: [#def13]
liblc3-1.0.4-build/liblc3-1.0.4/src/tns.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: GCC_ANALYZER_WARNING (CWE-457): [#def14]
liblc3-1.0.4-build/liblc3-1.0.4/src/tns.c: scope_hint: In function ‘forward_filtering’
liblc3-1.0.4-build/liblc3-1.0.4/src/tns.c:281:28: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>[k]’
# 279| s[k] = s1;
# 280|
# 281|-> s1 = rc[f][k] * xi + s0;
# 282| xi += rc[f][k] * s0;
# 283| }
Error: CPPCHECK_WARNING: [#def15]
liblc3-1.0.4-build/liblc3-1.0.4/tools/dlc3.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def16]
liblc3-1.0.4-build/liblc3-1.0.4/tools/dlc3.c:253:9: warning[core.NonNullParamChecker]: Null pointer passed to 1st parameter expecting 'nonnull'
# 251|
# 252| if (fp_in != stdin)
# 253|-> fclose(fp_in);
# 254|
# 255| if (fp_out != stdout)
Error: CPPCHECK_WARNING: [#def17]
liblc3-1.0.4-build/liblc3-1.0.4/tools/elc3.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Scan Properties
analyzer-version-clang | 18.1.7 |
analyzer-version-cppcheck | 2.14.2 |
analyzer-version-gcc | 14.1.1 |
analyzer-version-gcc-analyzer | 14.1.1 |
analyzer-version-shellcheck | 0.10.0 |
enabled-plugins | clang, cppcheck, gcc, shellcheck |
exit-code | 0 |
host | ip-172-16-1-151.us-west-2.compute.internal |
mock-config | fedora-41-x86_64 |
project-name | liblc3-1.0.4-4.fc40 |
store-results-to | /tmp/tmpchvojyhb/liblc3-1.0.4-4.fc40.tar.xz |
time-created | 2024-07-03 14:50:06 |
time-finished | 2024-07-03 14:51:24 |
tool | csmock |
tool-args | '/usr/bin/csmock' '-r' 'fedora-41-x86_64' '-t' 'cppcheck,gcc,clang,shellcheck' '-o' '/tmp/tmpchvojyhb/liblc3-1.0.4-4.fc40.tar.xz' '--gcc-analyze' '/tmp/tmpchvojyhb/liblc3-1.0.4-4.fc40.src.rpm' |
tool-version | csmock-3.5.3-1.el9 |