New Defects reported by Coverity Scan for RTEMS
scan-admin at coverity.com
scan-admin at coverity.com
Wed Nov 23 07:15:13 UTC 2022
Hi,
Please find the latest report on new defect(s) introduced to RTEMS found with Coverity Scan.
3 new defect(s) introduced to RTEMS found with Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 3 of 3 defect(s)
** CID 1517031: Insecure data handling (TAINTED_SCALAR)
________________________________________________________________________________________________________
*** CID 1517031: Insecure data handling (TAINTED_SCALAR)
/cpukit/libmisc/shell/main_edit.c: 1992 in redraw_screen()
1986
1987 ed->refresh = 1;
1988 }
1989
1990 static void redraw_screen(struct editor *ed) {
1991 get_console_size(ed->env);
>>> CID 1517031: Insecure data handling (TAINTED_SCALAR)
>>> Passing tainted expression "ed->env" to "draw_screen", which uses it as a loop boundary.
1992 draw_screen(ed);
1993 }
1994
1995 static int quit(struct env *env) {
1996 struct editor *ed = env->current;
1997 struct editor *start = ed;
** CID 1517030: Incorrect expression (UNUSED_VALUE)
/cpukit/libmisc/shell/main_edit.c: 759 in get_console_size()
________________________________________________________________________________________________________
*** CID 1517030: Incorrect expression (UNUSED_VALUE)
/cpukit/libmisc/shell/main_edit.c: 759 in get_console_size()
753 struct winsize ws;
754 ioctl(0, TIOCGWINSZ, &ws);
755 env->cols = ws.ws_col;
756 env->lines = ws.ws_row - 1;
757 #elif defined(__rtems__)
758 char* e;
>>> CID 1517030: Incorrect expression (UNUSED_VALUE)
>>> Assigning value "25" to "env->lines" here, but that stored value is overwritten before it can be used.
759 env->lines = 25;
760 env->lines = 80;
761 e = getenv("LINES");
762 if (e != NULL) {
763 int lines = strtol(e, 0, 10);
764 if (lines > 0) {
** CID 1517029: Insecure data handling (TAINTED_SCALAR)
/cpukit/libmisc/shell/main_edit.c: 780 in get_console_size()
________________________________________________________________________________________________________
*** CID 1517029: Insecure data handling (TAINTED_SCALAR)
/cpukit/libmisc/shell/main_edit.c: 780 in get_console_size()
774 }
775 #else
776 struct term *term = gettib()->proc->term;
777 env->cols = term->cols;
778 env->lines = term->lines - 1;
779 #endif
>>> CID 1517029: Insecure data handling (TAINTED_SCALAR)
>>> Passing tainted expression "env->cols + 32" to "realloc", which uses it as an allocation size. [Note: The source code implementation of the function has been overridden by a builtin model.]
780 env->linebuf = realloc(env->linebuf, env->cols + LINEBUF_EXTRA);
781 }
782
783 static void outch(char c) {
784 putchar(c);
785 }
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u15810271.ct.sendgrid.net/ls/click?upn=HRESupC-2F2Czv4BOaCWWCy7my0P0qcxCbhZ31OYv50ypUUzi-2FdSNmuyRB7BEFT8xQ4-2B8hpujh0hTgQljRGId4Dg-3D-3DGr-Y_EU3W9teASMK00lBXX9WT4lsogDrkCcNZLvg-2FVxwAXMqwq-2FLY5UKW-2FhhinR3e3vpWzrDiUmhAIYAWGY8CAwDNQLbxoOK7jx4uEYuEA18jT8PboURbCG5RbwkKdUWqCHW6bgBCVvWsy6OOEx44VsgSb0-2BOSrEegH8zssvN9oWz11vOH8c4avf3tCzVLe01l2-2FFOCkw36P3laWsmnE2eaZUoA-3D-3D
More information about the build
mailing list