dav1d-1.5.0-1.fc42

List of Findings

Error: CPPCHECK_WARNING (CWE-457): [#def1]
dav1d-1.5.0-build/dav1d-1.5.0/src/ipred_prepare_tmpl.c:142: error[legacyUninitvar]: Uninitialized variable: dst_top
#  140|                   pixel_set(left, left[sz - px_have], sz - px_have);
#  141|           } else {
#  142|->             pixel_set(left, have_top ? *dst_top : ((1 << bitdepth) >> 1) + 1, sz);
#  143|           }
#  144|   

Error: GCC_ANALYZER_WARNING (CWE-457): [#def2]
dav1d-1.5.0-build/dav1d-1.5.0/src/loopfilter_tmpl.c: scope_hint: In function ‘loop_filter’
dav1d-1.5.0-build/dav1d-1.5.0/src/loopfilter_tmpl.c:118:28: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘flat8in’
#  116|               dst[strideb * +5] = (p0 + q0 + q1 + q2 + q3 + q4 * 2 + q5 * 2 +
#  117|                                    q6 * 2 + q6 + q6 + q6 + q6 + q6 + 8) >> 4;
#  118|->         } else if (wd >= 8 && flat8in) {
#  119|               dst[strideb * -3] = (p3 + p3 + p3 + 2 * p2 + p1 + p0 + q0 + 4) >> 3;
#  120|               dst[strideb * -2] = (p3 + p3 + p2 + 2 * p1 + p0 + q0 + q1 + 4) >> 3;

Error: GCC_ANALYZER_WARNING (CWE-457): [#def3]
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum3’
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c:250:13: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘sum[1]’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/attributes.h:134:30: note: in definition of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration.h:34: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c:34: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum3’
#  248|       // We skip the last 2 rows as it is never read
#  249|       for (int y = 2; y < h - 2; y++) {
#  250|->         int a = sum[1], a2 = sumsq[1];
#  251|           int b = sum[2], b2 = sumsq[2];
#  252|   

Error: GCC_ANALYZER_WARNING (CWE-457): [#def4]
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c:251:13: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘sum[2]’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum3’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/attributes.h:134:30: note: in definition of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum3’
#  249|       for (int y = 2; y < h - 2; y++) {
#  250|           int a = sum[1], a2 = sumsq[1];
#  251|->         int b = sum[2], b2 = sumsq[2];
#  252|   
#  253|           // We don't store the first column as it is never read and

Error: GCC_ANALYZER_WARNING (CWE-457): [#def5]
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum3’
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c:251:20: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘sum[2]’
#  249|       for (int y = 2; y < h - 2; y++) {
#  250|           int a = sum[1], a2 = sumsq[1];
#  251|->         int b = sum[2], b2 = sumsq[2];
#  252|   
#  253|           // We don't store the first column as it is never read and

Error: GCC_ANALYZER_WARNING (CWE-457): [#def6]
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum5’
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c:328:13: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘sum[1]’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum5’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/attributes.h:134:30: note: in definition of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum5’
#  326|       for (int y = 2; y < h - 2; y++) {
#  327|           int a = sum[0], a2 = sumsq[0];
#  328|->         int b = sum[1], b2 = sumsq[1];
#  329|           int c = sum[2], c2 = sumsq[2];
#  330|           int d = sum[3], d2 = sumsq[3];

Error: GCC_ANALYZER_WARNING (CWE-457): [#def7]
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum5’
dav1d-1.5.0-build/dav1d-1.5.0/src/looprestoration_tmpl.c:328:20: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘sum[1]’
#  326|       for (int y = 2; y < h - 2; y++) {
#  327|           int a = sum[0], a2 = sumsq[0];
#  328|->         int b = sum[1], b2 = sumsq[1];
#  329|           int c = sum[2], c2 = sumsq[2];
#  330|           int d = sum[3], d2 = sumsq[3];

Error: GCC_ANALYZER_WARNING (CWE-457): [#def8]
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c: scope_hint: In function ‘put_8tap_scaled_c’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:213:47: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:381:1: note: in expansion of macro ‘filter_fns’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:381:1: note: in expansion of macro ‘filter_fns’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:105:32: note: in definition of macro ‘GET_V_FILTER’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:208:9: note: in expansion of macro ‘GET_V_FILTER’
#  211|               dst[x] = fv ? DAV1D_FILTER_8TAP_CLIP(mid_ptr, x, fv, 128,
#  212|                                                    6 + intermediate_bits) :
#  213|->                           iclip_pixel((mid_ptr[x] + intermediate_rnd) >>
#  214|                                                 intermediate_bits);
#  215|   

Error: GCC_ANALYZER_WARNING (CWE-457): [#def9]
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c: scope_hint: In function ‘prep_8tap_scaled_c’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:320:20: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:383:1: note: in expansion of macro ‘filter_fns’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:383:1: note: in expansion of macro ‘filter_fns’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:105:32: note: in definition of macro ‘GET_V_FILTER’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:317:9: note: in expansion of macro ‘GET_V_FILTER’
#  318|   
#  319|           for (x = 0; x < w; x++)
#  320|->             tmp[x] = (fv ? DAV1D_FILTER_8TAP_RND(mid_ptr, x, fv, 128, 6)
#  321|                            : mid_ptr[x]) - PREP_BIAS;
#  322|   

Error: GCC_ANALYZER_WARNING (CWE-457): [#def10]
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c: scope_hint: In function ‘prep_8tap_scaled_c’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:321:35: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:381:1: note: in expansion of macro ‘filter_fns’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:381:1: note: in expansion of macro ‘filter_fns’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c: scope_hint: In function ‘prep_8tap_scaled_c’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:105:32: note: in definition of macro ‘GET_V_FILTER’
dav1d-1.5.0-build/dav1d-1.5.0/src/mc_tmpl.c:317:9: note: in expansion of macro ‘GET_V_FILTER’
#  319|           for (x = 0; x < w; x++)
#  320|               tmp[x] = (fv ? DAV1D_FILTER_8TAP_RND(mid_ptr, x, fv, 128, 6)
#  321|->                          : mid_ptr[x]) - PREP_BIAS;
#  322|   
#  323|           my += dy;

Error: CPPCHECK_WARNING (CWE-758): [#def11]
dav1d-1.5.0-build/dav1d-1.5.0/src/refmvs.c:188: error[shiftTooManyBitsSigned]: Shifting signed 32-bit value by 31 bits is undefined behaviour
#  186|       // Round and clip according to AV1 spec section 7.9.3
#  187|       return (union mv) { // 0x3fff == (1 << 14) - 1
#  188|->         .y = iclip((y + 8192 + (y >> 31)) >> 14, -0x3fff, 0x3fff),
#  189|           .x = iclip((x + 8192 + (x >> 31)) >> 14, -0x3fff, 0x3fff)
#  190|       };

Error: CPPCHECK_WARNING (CWE-758): [#def12]
dav1d-1.5.0-build/dav1d-1.5.0/src/refmvs.c:189: error[shiftTooManyBitsSigned]: Shifting signed 32-bit value by 31 bits is undefined behaviour
#  187|       return (union mv) { // 0x3fff == (1 << 14) - 1
#  188|           .y = iclip((y + 8192 + (y >> 31)) >> 14, -0x3fff, 0x3fff),
#  189|->         .x = iclip((x + 8192 + (x >> 31)) >> 14, -0x3fff, 0x3fff)
#  190|       };
#  191|   }

Error: GCC_ANALYZER_WARNING (CWE-457): [#def13]
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c: scope_hint: In function ‘check_fgy_sbrow’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:217:28: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:68: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:28: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/include/common/bitdepth.h:77:18: note: in definition of macro ‘bitfn’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:61: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:126:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:53:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:53:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:57:13: note: in expansion of macro ‘check_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:126:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:90:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:90:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:117:56: note: in definition of macro ‘check_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:67: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/include/common/attributes.h:86:5: note: in definition of macro ‘ALIGN’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:417:5: note: in expansion of macro ‘ALIGN_STK_64’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:147:5: note: in expansion of macro ‘PIXEL_RECT’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:126:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:150:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:150:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:156:9: note: in expansion of macro ‘check_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:160:27: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:168:40: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:183:26: note: in expansion of macro ‘bitdepth_from_max’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:35: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/src/fg_apply_tmpl.c:49:5: note: in expansion of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:207:30: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:215:57: note: in expansion of macro ‘rnd’
#  215|                           src[y * PXSTRIDE(stride) + x] = rnd();
#  216|                       for (int x = 0; x < w; x++)
#  217|->                         src[y * PXSTRIDE(stride) + x] &= bitdepth_max;
#  218|                   }
#  219|   

Error: GCC_ANALYZER_WARNING (CWE-457): [#def14]
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c: scope_hint: In function ‘check_fguv_sbrow’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:356:36: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.5.0-build/dav1d-1.5.0/include/common/attributes.h:86:5: note: in definition of macro ‘ALIGN’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:417:5: note: in expansion of macro ‘ALIGN_STK_64’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:247:5: note: in expansion of macro ‘PIXEL_RECT’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:126:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:251:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:251:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:117:56: note: in definition of macro ‘check_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:273:35: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:280:35: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:307:60: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/src/fg_apply_tmpl.c:49:5: note: in expansion of macro ‘assert’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:344:38: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/filmgrain.c:352:65: note: in expansion of macro ‘rnd’
#  354|                               }
#  355|                               for (int x = 0; x < w; x++)
#  356|->                                 src[y * PXSTRIDE(stride) + x] &= bitdepth_max;
#  357|                               for (int x = 0; x < (w << ss_x); x++)
#  358|                                   luma_src[y * PXSTRIDE(lstride) + x] &= bitdepth_max;

Error: GCC_ANALYZER_WARNING (CWE-401): [#def15]
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c: scope_hint: In function ‘check_load_tmvs’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c:224:1: warning[-Wanalyzer-malloc-leak]: leak of ‘<unknown>’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:61: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c:27: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/checkasm.h:126:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c:159:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c:159:5: note: in expansion of macro ‘declare_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c:162:9: note: in expansion of macro ‘check_func’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c:163:33: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c:169:30: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c:172:41: note: in expansion of macro ‘rnd’
dav1d-1.5.0-build/dav1d-1.5.0/tests/checkasm/refmvs.c:223:5: note: in expansion of macro ‘report’
#  222|   
#  223|       report("load_tmvs");
#  224|-> }
#  225|   
#  226|   static void check_save_tmvs(const Dav1dRefmvsDSPContext *const c) {

Error: GCC_ANALYZER_WARNING (CWE-457): [#def16]
dav1d-1.5.0-build/dav1d-1.5.0/tools/dav1d.c: scope_hint: In function ‘synchronize’
dav1d-1.5.0-build/dav1d-1.5.0/tools/dav1d.c:100:20: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*elapsed’
#   98|   {
#   99|       const uint64_t tcurr = get_time_nanos();
#  100|->     const uint64_t last = *elapsed;
#  101|       *elapsed = tcurr - tfirst;
#  102|       if (realtime) {

Error: GCC_ANALYZER_WARNING (CWE-401): [#def17]
dav1d-1.5.0-build/dav1d-1.5.0/tools/input/input.c: scope_hint: In function ‘input_open’
dav1d-1.5.0-build/dav1d-1.5.0/tools/input/input.c:88:45: warning[-Wanalyzer-malloc-leak]: leak of ‘probe_data’
dav1d-1.5.0-build/dav1d-1.5.0/tools/input/input.c:30: included_from: Included from here.
#   86|           if (!f) {
#   87|               fprintf(stderr, "Failed to open input file %s: %s\n", filename, strerror(errno));
#   88|->             return errno ? DAV1D_ERR(errno) : DAV1D_ERR(EIO);
#   89|           }
#   90|           res = !!fread(probe_data, 1, probe_sz, f);

Error: GCC_ANALYZER_WARNING (CWE-401): [#def18]
dav1d-1.5.0-build/dav1d-1.5.0/tools/output/xxhash.c: scope_hint: In function ‘xxh3_open’
dav1d-1.5.0-build/dav1d-1.5.0/tools/output/xxhash.c:62:21: warning[-Wanalyzer-malloc-leak]: leak of ‘<unknown>’
dav1d-1.5.0-build/dav1d-1.5.0/tools/output/xxhash.c:36: included_from: Included from here.
dav1d-1.5.0-build/dav1d-1.5.0/tools/output/xxhash.c: scope_hint: In function ‘xxh3_open’
#   60|       } else if (!(xxh3->f = fopen(file, "wb"))) {
#   61|           XXH3_freeState(xxh3->state);
#   62|->         xxh3->state = NULL;
#   63|           fprintf(stderr, "Failed to open %s: %s\n", file, strerror(errno));
#   64|           return -1;

Scan Properties