pcre2-10.42-2.fc40.2

List of Defects

Error: CPPCHECK_WARNING: [#def1]
pcre2-10.42-build/pcre2-10.42/src/pcre2_auto_possess.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def2]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def3]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:3751:7: warning[deadcode.DeadStores]: Value stored to 'class_range_state' is never read
# 3749|         {
# 3750|         parsed_pattern[-1] = CHAR_MINUS;
# 3751|->       class_range_state = RANGE_NO;
# 3752|         }
# 3753|   

Error: CLANG_WARNING: [#def4]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:4965:8: warning[deadcode.DeadStores]: Although the value stored to 'co' is used in the enclosing expression, the value is never actually read from 'co'
# 4963|   for (++c; c <= d; c++)
# 4964|     {
# 4965|->   if ((co = UCD_CASESET(c)) != 0 || UCD_OTHERCASE(c) != next) break;
# 4966|     next++;
# 4967|     }

Error: CLANG_WARNING: [#def5]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:6010:13: warning[deadcode.DeadStores]: Although the value stored to 'd' is used in the enclosing expression, the value is never actually read from 'd'
# 6008|   
# 6009|           CLASS_LITERAL:
# 6010|->         c = d = meta;
# 6011|   
# 6012|           /* Remember if \r or \n were explicitly used */

Error: CLANG_WARNING: [#def6]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:6950:5: warning[deadcode.DeadStores]: Value stored to 'op_type' is never read
# 6948|   
# 6949|       reqvary = (repeat_min == repeat_max)? 0 : REQ_VARY;
# 6950|->     op_type = 0;
# 6951|   
# 6952|       /* Adjust first and required code units for a zero repeat. */

Error: CLANG_WARNING: [#def7]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:6992:19: warning[core.NullDereference]: Dereference of null pointer (loaded from variable 'previous')
# 6990|   
# 6991|       tempcode = previous;
# 6992|->     op_previous = *previous;
# 6993|   
# 6994|       /* Now handle repetition for the different types of item. If the repeat

Error: CPPCHECK_WARNING (CWE-562): [#def8]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8169: error[autoVariables]: Address of local auto-variable assigned to a function parameter.
# 8167|     capitem.next = cb->open_caps;
# 8168|     capitem.assert_depth = cb->assert_depth;
# 8169|->   cb->open_caps = &capitem;
# 8170|     }
# 8171|   

Error: COMPILER_WARNING: [#def9]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c: scope_hint: In function 'compile_regex'
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8169:17: warning[-Wdangling-pointer=]: storing the address of local variable 'capitem' in 'cb_117(D)->open_caps'
# 8169 |   cb->open_caps = &capitem;
#      |   ~~~~~~~~~~~~~~^~~~~~~~~~
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8106:14: note: 'capitem' declared here
# 8106 | open_capitem capitem;
#      |              ^~~~~~~
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8100:39: note: 'cb' declared here
# 8100 |   branch_chain *bcptr, compile_block *cb, PCRE2_SIZE *lengthptr)
# 8167|     capitem.next = cb->open_caps;
# 8168|     capitem.assert_depth = cb->assert_depth;
# 8169|->   cb->open_caps = &capitem;
# 8170|     }
# 8171|   

Error: COMPILER_WARNING: [#def10]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c: scope_hint: In function 'compile_regex'
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8169:17: warning[-Wdangling-pointer=]: storing the address of local variable 'capitem' in 'cb_118(D)->open_caps'
# 8169 |   cb->open_caps = &capitem;
#      |   ~~~~~~~~~~~~~~^~~~~~~~~~
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8106:14: note: 'capitem' declared here
# 8106 | open_capitem capitem;
#      |              ^~~~~~~
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8100:39: note: 'cb' declared here
# 8100 |   branch_chain *bcptr, compile_block *cb, PCRE2_SIZE *lengthptr)
# 8167|     capitem.next = cb->open_caps;
# 8168|     capitem.assert_depth = cb->assert_depth;
# 8169|->   cb->open_caps = &capitem;
# 8170|     }
# 8171|   

Error: COMPILER_WARNING: [#def11]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c: scope_hint: In function 'compile_regex'
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8169:17: warning[-Wdangling-pointer=]: storing the address of local variable 'capitem' in 'cb_132(D)->open_caps'
# 8169 |   cb->open_caps = &capitem;
#      |   ~~~~~~~~~~~~~~^~~~~~~~~~
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8106:14: note: 'capitem' declared here
# 8106 | open_capitem capitem;
#      |              ^~~~~~~
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:8100:39: note: 'cb' declared here
# 8100 |   branch_chain *bcptr, compile_block *cb, PCRE2_SIZE *lengthptr)
# 8167|     capitem.next = cb->open_caps;
# 8168|     capitem.assert_depth = cb->assert_depth;
# 8169|->   cb->open_caps = &capitem;
# 8170|     }
# 8171|   

Error: CLANG_WARNING: [#def12]
pcre2-10.42-build/pcre2-10.42/src/pcre2_compile.c:9860:6: warning[deadcode.DeadStores]: Although the value stored to 'zero_terminated' is used in the enclosing expression, the value is never actually read from 'zero_terminated'
# 9858|   PCRE2_ZERO_TERMINATED. Check for an overlong pattern. */
# 9859|   
# 9860|-> if ((zero_terminated = (patlen == PCRE2_ZERO_TERMINATED)))
# 9861|     patlen = PRIV(strlen)(pattern);
# 9862|   

Error: CPPCHECK_WARNING: [#def13]
pcre2-10.42-build/pcre2-10.42/src/pcre2_convert.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def14]
pcre2-10.42-build/pcre2-10.42/src/pcre2_dfa_match.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def15]
pcre2-10.42-build/pcre2-10.42/src/pcre2_dfa_match.c:3009:11: warning[deadcode.DeadStores]: Value stored to 'codevalue' is never read
# 3007|             {
# 3008|             allow_zero = TRUE;
# 3009|->           codevalue = *(++code);  /* Codevalue will be one of above BRAs */
# 3010|             }
# 3011|           else allow_zero = FALSE;

Error: CPPCHECK_WARNING: [#def16]
pcre2-10.42-build/pcre2-10.42/src/pcre2_error.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def17]
pcre2-10.42-build/pcre2-10.42/src/pcre2_extuni.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def18]
pcre2-10.42-build/pcre2-10.42/src/pcre2_find_bracket.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: GCC_ANALYZER_WARNING (CWE-476): [#def19]
pcre2-10.42-build/pcre2-10.42/src/pcre2_internal.h:143: included_from: Included from here.
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:63: included_from: Included from here.
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c: scope_hint: In function 'match'
pcre2-10.42-build/pcre2-10.42/src/pcre2_internal.h:1997:51: warning[-Wanalyzer-null-dereference]: dereference of NULL 'P'
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:798:25: note: in definition of macro 'PCRE2_JOIN'
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:977:25: note: in expansion of macro 'PCRE2_GLUE'
pcre2-10.42-build/pcre2-10.42/src/pcre2_internal.h:1997:38: note: in expansion of macro 'PCRE2_SUFFIX'
pcre2-10.42-build/pcre2-10.42/src/pcre2_internal.h:177:20: note: in expansion of macro '_pcre2_script_run'
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:5830:12: note: in expansion of macro 'PRIV'
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:761:5: note: in expansion of macro 'Frdepth'
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:798:25: note: in definition of macro 'PCRE2_JOIN'
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:977:25: note: in expansion of macro 'PCRE2_GLUE'
pcre2-10.42-build/pcre2-10.42/src/pcre2_internal.h:1997:38: note: in expansion of macro 'PCRE2_SUFFIX'
pcre2-10.42-build/pcre2-10.42/src/pcre2_internal.h:177:20: note: in expansion of macro '_pcre2_script_run'
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:5830:12: note: in expansion of macro 'PRIV'
# 1995|   #define _pcre2_memctl_malloc         PCRE2_SUFFIX(_pcre2_memctl_malloc_)
# 1996|   #define _pcre2_ord2utf               PCRE2_SUFFIX(_pcre2_ord2utf_)
# 1997|-> #define _pcre2_script_run            PCRE2_SUFFIX(_pcre2_script_run_)
# 1998|   #define _pcre2_strcmp                PCRE2_SUFFIX(_pcre2_strcmp_)
# 1999|   #define _pcre2_strcmp_c8             PCRE2_SUFFIX(_pcre2_strcmp_c8_)

Error: CPPCHECK_WARNING: [#def20]
pcre2-10.42-build/pcre2-10.42/src/pcre2_jit_compile.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def21]
pcre2-10.42-build/pcre2-10.42/src/pcre2_jit_test.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def22]
pcre2-10.42-build/pcre2-10.42/src/pcre2_jit_test.c:1496:10: warning[deadcode.DeadStores]: Although the value stored to 'return_value' is used in the enclosing expression, the value is never actually read from 'return_value'
# 1494|   				/* All results must be the same. */
# 1495|   #ifdef SUPPORT_PCRE2_8
# 1496|-> 				if ((return_value = return_value8[0]) != return_value8[1]) {
# 1497|   					printf("\n8 bit: Return value differs(J8:%d,I8:%d): [%d] '%s' @ '%s'\n",
# 1498|   						return_value8[0], return_value8[1], total, current->pattern, current->input);

Error: CLANG_WARNING: [#def23]
pcre2-10.42-build/pcre2-10.42/src/pcre2_jit_test.c:1503:10: warning[deadcode.DeadStores]: Although the value stored to 'return_value' is used in the enclosing expression, the value is never actually read from 'return_value'
# 1501|   #endif
# 1502|   #ifdef SUPPORT_PCRE2_16
# 1503|-> 				if ((return_value = return_value16[0]) != return_value16[1]) {
# 1504|   					printf("\n16 bit: Return value differs(J16:%d,I16:%d): [%d] '%s' @ '%s'\n",
# 1505|   						return_value16[0], return_value16[1], total, current->pattern, current->input);

Error: CPPCHECK_WARNING: [#def24]
pcre2-10.42-build/pcre2-10.42/src/pcre2_maketables.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def25]
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def26]
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:5790:15: warning[core.NullDereference]: Access to field 'eptr' results in a dereference of a null pointer (loaded from variable 'P')
# 5788|         case OP_ASSERTBACK_NA:
# 5789|         if (Feptr > mb->last_used_ptr) mb->last_used_ptr = Feptr;
# 5790|->       Feptr = P->eptr;
# 5791|         break;
# 5792|   

Error: CLANG_WARNING: [#def27]
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:5800:15: warning[core.NullDereference]: Access to field 'eptr' results in a dereference of a null pointer (loaded from variable 'P')
# 5798|         case OP_ASSERTBACK:
# 5799|         if (Feptr > mb->last_used_ptr) mb->last_used_ptr = Feptr;
# 5800|->       Feptr = P->eptr;
# 5801|         /* Fall through */
# 5802|   

Error: CLANG_WARNING: [#def28]
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:5812:22: warning[core.NullDereference]: Access to field 'ecode' results in a dereference of a null pointer (loaded from variable 'P')
# 5810|         for (;;)
# 5811|           {
# 5812|->         uint32_t y = GET(P->ecode,1);
# 5813|           if ((P->ecode)[y] != OP_ALT) break;
# 5814|           P->ecode += y;

Error: CLANG_WARNING: [#def29]
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:5812:26: warning[core.NullDereference]: Access to field 'ecode' results in a dereference of a null pointer (loaded from variable 'P')
# 5810|         for (;;)
# 5811|           {
# 5812|->         uint32_t y = GET(P->ecode,1);
# 5813|           if ((P->ecode)[y] != OP_ALT) break;
# 5814|           P->ecode += y;

Error: CLANG_WARNING: [#def30]
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:5830:29: warning[core.NullDereference]: Access to field 'eptr' results in a dereference of a null pointer (loaded from variable 'P')
# 5828|   
# 5829|         case OP_SCRIPT_RUN:
# 5830|->       if (!PRIV(script_run)(P->eptr, Feptr, utf)) RRETURN(MATCH_NOMATCH);
# 5831|         break;
# 5832|   

Error: CLANG_WARNING: [#def31]
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:5849:9: warning[core.NonNullParamChecker]: Null pointer passed to 2nd parameter expecting 'nonnull'
# 5847|           {
# 5848|           P = (heapframe *)((char *)N - frame_size);
# 5849|->         memcpy((char *)F + offsetof(heapframe, ovector), P->ovector,
# 5850|             Foffset_top * sizeof(PCRE2_SIZE));
# 5851|           Foffset_top = P->offset_top;

Error: CLANG_WARNING: [#def32]
pcre2-10.42-build/pcre2-10.42/src/pcre2_match.c:5862:26: warning[core.NullDereference]: Access to field 'eptr' results in a dereference of a null pointer (loaded from variable 'P')
# 5860|         offset = (number << 1) - 2;
# 5861|         Fcapture_last = number;
# 5862|->       Fovector[offset] = P->eptr - mb->start_subject;
# 5863|         Fovector[offset+1] = Feptr - mb->start_subject;
# 5864|         if (offset >= Foffset_top) Foffset_top = offset + 2;

Error: CPPCHECK_WARNING: [#def33]
pcre2-10.42-build/pcre2-10.42/src/pcre2_newline.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

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

Error: CPPCHECK_WARNING: [#def35]
pcre2-10.42-build/pcre2-10.42/src/pcre2_serialize.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def36]
pcre2-10.42-build/pcre2-10.42/src/pcre2_study.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def37]
pcre2-10.42-build/pcre2-10.42/src/pcre2_substitute.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: GCC_ANALYZER_WARNING (CWE-131): [#def38]
pcre2-10.42-build/pcre2-10.42/src/pcre2_substitute.c: scope_hint: In function 'pcre2_substitute_16'
pcre2-10.42-build/pcre2-10.42/src/pcre2_substitute.c:513:13: warning[-Wanalyzer-allocation-size]: allocated buffer size is not a multiple of the pointee's size
pcre2-10.42-build/pcre2-10.42/src/pcre2_internal.h:143: included_from: Included from here.
pcre2-10.42-build/pcre2-10.42/src/pcre2_substitute.c:46: included_from: Included from here.
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:798:25: note: in definition of macro 'PCRE2_JOIN'
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:977:25: note: in expansion of macro 'PCRE2_GLUE'
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:855:47: note: in expansion of macro 'PCRE2_SUFFIX'
pcre2-10.42-build/pcre2-10.42/src/pcre2_substitute.c:320:11: note: in expansion of macro 'pcre2_get_ovector_pointer'
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:798:25: note: in definition of macro 'PCRE2_JOIN'
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:977:25: note: in expansion of macro 'PCRE2_GLUE'
pcre2-10.42-build/pcre2-10.42/src/pcre2.h:866:47: note: in expansion of macro 'PCRE2_SUFFIX'
pcre2-10.42-build/pcre2-10.42/src/pcre2_substitute.c:389:13: note: in expansion of macro 'pcre2_match'
#  511|       /* If at the end of a nested substring, pop the stack. */
#  512|   
#  513|->     if (ptr >= repend)
#  514|         {
#  515|         if (ptrstackptr == 0) break;       /* End of replacement string */

Error: CPPCHECK_WARNING: [#def39]
pcre2-10.42-build/pcre2-10.42/src/pcre2_substring.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def40]
pcre2-10.42-build/pcre2-10.42/src/pcre2_valid_utf.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def41]
pcre2-10.42-build/pcre2-10.42/src/pcre2_xclass.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def42]
pcre2-10.42-build/pcre2-10.42/src/pcre2grep.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING (CWE-758): [#def43]
pcre2-10.42-build/pcre2-10.42/src/pcre2grep.c:1508: error[missingReturn]: Found an exit path from function with non-void return type that has missing return statement
# 1506|         }
# 1507|       }
# 1508|->   break;
# 1509|   
# 1510|     case PCRE2_NEWLINE_ANYCRLF:

Error: CLANG_WARNING: [#def44]
pcre2-10.42-build/pcre2-10.42/src/pcre2grep.c:2869:9: warning[deadcode.DeadStores]: Value stored to 'match' is never read
# 2867|           /* Prepare to repeat to find the next match in the line. */
# 2868|   
# 2869|->         match = FALSE;
# 2870|           if (line_buffered) fflush(stdout);
# 2871|           rc = 0;                      /* Had some success */

Error: GCC_ANALYZER_WARNING (CWE-476): [#def45]
pcre2-10.42-build/pcre2-10.42/src/pcre2grep.c: scope_hint: In function ‘main’
pcre2-10.42-build/pcre2-10.42/src/pcre2grep.c:4046:9: warning[-Wanalyzer-null-dereference]: dereference of NULL ‘op’
# 4044|     something in the PCRE options. */
# 4045|   
# 4046|->   if (op->type == OP_NODATA)
# 4047|       {
# 4048|       pcre2_options = handle_option(op->one_char, pcre2_options);

Error: CPPCHECK_WARNING: [#def46]
pcre2-10.42-build/pcre2-10.42/src/pcre2posix.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def47]
pcre2-10.42-build/pcre2-10.42/src/pcre2posix_test.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def48]
pcre2-10.42-build/pcre2-10.42/src/pcre2test.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Scan Properties