Hi,
Please find the latest report on new defect(s) introduced to Pike-experiment found with Coverity Scan.
2 new defect(s) introduced to Pike-experiment found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 2 of 2 defect(s)
** CID 1401352: (FORWARD_NULL)
/home/covbuilder/pike/pike-git/src/builtin.cmod: 4462 in low_automap()
/home/covbuilder/pike/pike-git/src/builtin.cmod: 4462 in low_automap()
________________________________________________________________________________________________________
*** CID 1401352: (FORWARD_NULL)
/home/covbuilder/pike/pike-git/src/builtin.cmod: 4462 in low_automap()
4456 callsite_set_args(&C, 0);
4457 callsite_resolve_svalue(&C, fun);
4458 callsite_prepare(&C);
4459 /* We need to do this manually, because
4460 * currently no arguments are on the stack, yet */
4461 C.args = args;
>>> CID 1401352: (FORWARD_NULL)
>>> Comparing "C.frame" to null implies that "C.frame" might be null.
4462 if (C.frame) {
4463 C.frame->args = args;
4464 C.frame->flags |= PIKE_FRAME_NO_REUSE;
4465 }
4466
4467 for(x=0;x<size;x++)
/home/covbuilder/pike/pike-git/src/builtin.cmod: 4462 in low_automap()
4456 callsite_set_args(&C, 0);
4457 callsite_resolve_svalue(&C, fun);
4458 callsite_prepare(&C);
4459 /* We need to do this manually, because
4460 * currently no arguments are on the stack, yet */
4461 C.args = args;
>>> CID 1401352: (FORWARD_NULL)
>>> Comparing "C.frame" to null implies that "C.frame" might be null.
4462 if (C.frame) {
4463 C.frame->args = args;
4464 C.frame->flags |= PIKE_FRAME_NO_REUSE;
4465 }
4466
4467 for(x=0;x<size;x++)
** 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: 8543 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) {
8544 C.frame->args = 1+splice;
8545 C.frame->flags |= PIKE_FRAME_NO_REUSE;
8546 }
8547
8548 for (i=0; i<n; i++)
/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) {
8544 C.frame->args = 1+splice;
8545 C.frame->flags |= PIKE_FRAME_NO_REUSE;
8546 }
8547
8548 for (i=0; i<n; 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-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 1401352: (FORWARD_NULL)
/home/covbuilder/pike/pike-git/src/builtin.cmod: 4462 in low_automap()
/home/covbuilder/pike/pike-git/src/builtin.cmod: 4484 in low_automap()
________________________________________________________________________________________________________
*** CID 1401352: (FORWARD_NULL)
/home/covbuilder/pike/pike-git/src/builtin.cmod: 4462 in low_automap()
4456 callsite_set_args(&C, 0);
4457 callsite_resolve_svalue(&C, fun);
4458 callsite_prepare(&C);
4459 /* We need to do this manually, because
4460 * currently no arguments are on the stack, yet */
4461 C.args = args;
>>> CID 1401352: (FORWARD_NULL)
>>> Comparing "C.frame" to null implies that "C.frame" might be null.
4462 if (C.frame) C.frame->args = args;
4463
4464 for(x=0;x<size;x++)
4465 {
4466 for(e=0;e<args;e++)
4467 {
/home/covbuilder/pike/pike-git/src/builtin.cmod: 4484 in low_automap()
4478 push_svalue(tmpargs+e);
4479 }
4480 }
4481
4482 if (x) callsite_reset(&C);
4483 callsite_execute(&C);
>>> CID 1401352: (FORWARD_NULL)
>>> Although "callsite_return" does overwrite "C.frame" on some paths, it also contains at least one feasible path which does not overwrite it.
4484 callsite_return(&C);
4485 stack_pop_to_no_free (ITEM(ret) + x);
4486 types |= 1 << TYPEOF(ITEM(ret)[x]);
4487 }
4488 callsite_free(&C);
4489 }
________________________________________________________________________________________________________
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-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…