Hi,
Please find the latest report on new defect(s) introduced to Pike-experiment found with Coverity Scan.
1 new defect(s) introduced to Pike-experiment found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1400860: (FORWARD_NULL)
/home/covbuilder/pike/pike-git/src/builtin_functions.c: 8543 in f_map()
/home/covbuilder/pike/pike-git/src/builtin_functions.c: 8553 in f_map()
________________________________________________________________________________________________________
*** CID 1400860: (FORWARD_NULL)
/home/covbuilder/pike/pike-git/src/builtin_functions.c: 8543 in f_map()
8537 callsite_resolve_svalue(&C, mysp-2);
8538 callsite_prepare(&C);
8539
8540 /* We need to do this manually, because
8541 * currently no arguments are on the stack, yet */
8542 C.args = 1+splice;
>>> CID 1400860: (FORWARD_NULL)
>>> Comparing "C.frame" to null implies that "C.frame" might be null.
8543 if (C.frame) C.frame->args = 1+splice;
8544
8545 for (i=0; i<n; i++)
8546 {
8547 push_svalue(ITEM(a)+i);
8548 if (splice)
/home/covbuilder/pike/pike-git/src/builtin_functions.c: 8553 in f_map()
8547 push_svalue(ITEM(a)+i);
8548 if (splice)
8549 {
8550 add_ref_svalue(mysp-1);
8551 push_array_items(mysp[-1].u.array);
8552 }
>>> CID 1400860: (FORWARD_NULL)
>>> Although "callsite_reset" does overwrite "C.frame" on some paths, it also contains at least one feasible path which does not overwrite it.
8553 if (i) callsite_reset(&C);
8554 callsite_execute(&C);
8555 callsite_return(&C);
8556
8557 stack_pop_to_no_free (ITEM(d) + i);
8558 types |= 1 << TYPEOF(ITEM(d)[i]);
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
To manage Coverity Scan email notifications for "pike-automation(a)lists.lysator.liu.se", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
Hi,
Please find the latest report on new defect(s) introduced to Pike-master found with Coverity Scan.
1 new defect(s) introduced to Pike-master found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1396994: Null pointer dereferences (FORWARD_NULL)
/home/covscan/pike/Pike-v8.1-snapshot/src/builtin_functions.c: 3276 in f_crypt()
________________________________________________________________________________________________________
*** CID 1396994: Null pointer dereferences (FORWARD_NULL)
/home/covscan/pike/Pike-v8.1-snapshot/src/builtin_functions.c: 3276 in f_crypt()
3270 if (args > 1) {
3271 pop_n_elems(args-1);
3272 args = 1;
3273 }
3274 }
3275 #ifdef HAVE_CRYPT
>>> CID 1396994: Null pointer dereferences (FORWARD_NULL)
>>> Passing null pointer "pwd" to "crypt", which dereferences it.
3276 ret = (char *)crypt(pwd, saltp);
3277 #else
3278 #ifdef HAVE__CRYPT
3279 ret = (char *)_crypt(pwd, saltp);
3280 #else
3281 #error No crypt function found and fallback failed.
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
To manage Coverity Scan email notifications for "pike-automation(a)lists.lysator.liu.se", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
Hi,
Please find the latest report on new defect(s) introduced to Pike-master found with Coverity Scan.
1 new defect(s) introduced to Pike-master found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1375989: (CHECKED_RETURN)
/home/covscan/pike/Pike-v8.1-snapshot/src/pike_types.c: 3872 in low_pike_types_le()
/home/covscan/pike/Pike-v8.1-snapshot/src/pike_types.c: 3895 in low_pike_types_le()
/home/covscan/pike/Pike-v8.1-snapshot/src/pike_types.c: 4090 in low_pike_types_le()
________________________________________________________________________________________________________
*** CID 1375989: (CHECKED_RETURN)
/home/covscan/pike/Pike-v8.1-snapshot/src/pike_types.c: 3872 in low_pike_types_le()
3866 goto recurse;
3867 }
3868 if ((a->flags | b->flags) & PT_FLAG_ASSIGN) {
3869 /* Note that we need to recurse, since there are T_ASSIGN nodes
3870 * in the cdr that need to be executed.
3871 */
>>> CID 1375989: (CHECKED_RETURN)
>>> Calling "low_pike_types_le" without checking return value (as is done elsewhere 28 out of 35 times).
3872 low_pike_types_le(a->cdr, b, array_cnt, flags);
3873 }
3874 return 1;
3875
3876 case T_OR:
3877 /* OK, if both of the parts are a subset,
/home/covscan/pike/Pike-v8.1-snapshot/src/pike_types.c: 3895 in low_pike_types_le()
3889 } else {
3890 ret = low_pike_types_le(a->car, b, array_cnt, flags);
3891 #ifdef TYPE_GROUPING
3892 if (!ret == !(flags & LE_A_GROUPED)) {
3893 if ((a->flags | b->flags) & PT_FLAG_ASSIGN) {
3894 /* Note: Needed for side effects... */
>>> CID 1375989: (CHECKED_RETURN)
>>> Calling "low_pike_types_le" without checking return value (as is done elsewhere 28 out of 35 times).
3895 low_pike_types_le(a->cdr, b, array_cnt, flags);
3896 }
3897 return ret;
3898 }
3899 #else
3900 if (!ret) return 0;
/home/covscan/pike/Pike-v8.1-snapshot/src/pike_types.c: 4090 in low_pike_types_le()
4084 */
4085 ret = low_pike_types_le(a, b->car, array_cnt, flags);
4086 #ifdef TYPE_GROUPING
4087 if (!ret != !(flags & LE_B_GROUPED)) {
4088 if ((a->flags | b->flags) & PT_FLAG_ASSIGN) {
4089 /* Note: Needed for side effects... */
>>> CID 1375989: (CHECKED_RETURN)
>>> Calling "low_pike_types_le" without checking return value (as is done elsewhere 28 out of 35 times).
4090 low_pike_types_le(a, b->cdr, array_cnt, flags);
4091 }
4092 return ret;
4093 }
4094 #else
4095 if (ret) return ret;
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
To manage Coverity Scan email notifications for "pike-automation(a)lists.lysator.liu.se", click https://u2389337.ct.sendgrid.net/wf/click?upn=08onrYu34A-2BWcWUl-2F-2BfV0V0…
Hi,
Please find the latest report on new defect(s) introduced to Pike-master found with Coverity Scan.
1 new defect(s) introduced to Pike-master found with Coverity Scan.
1 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 1 of 1 defect(s)
** CID 1362005: Uninitialized variables (UNINIT)
/home/covscan/pike/Pike-v8.1-snapshot/src/modules/Gmp/mpf.cmod: 979 in f_mpf_pow()
________________________________________________________________________________________________________
*** CID 1362005: Uninitialized variables (UNINIT)
/home/covscan/pike/Pike-v8.1-snapshot/src/modules/Gmp/mpf.cmod: 979 in f_mpf_pow()
973 */
974 break;
975 }
976 res = get_mpf_with_prec( mpf_get_prec(THISMPF) );
977 a = OBTOMPF(res);
978
>>> CID 1362005: Uninitialized variables (UNINIT)
>>> Using uninitialized value "ai".
979 if( ai < 0 )
980 {
981 mpf_pow_ui( a, THISMPF, -ai );
982 mpf_ui_div( a, 1, a );
983 }
984 else
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://scan.coverity.com/projects/pike-master?tab=overview
To manage Coverity Scan email notifications for "pike-automation(a)lists.lysator.liu.se", click https://scan.coverity.com/subscriptions/edit?email=pike-automation%40lists.…