|
@@ -937,8 +937,11 @@ static void console_putchar(TextConsole *s, int ch)
|
|
case TTY_STATE_CSI: /* handle escape sequence parameters */
|
|
case TTY_STATE_CSI: /* handle escape sequence parameters */
|
|
if (ch >= '0' && ch <= '9') {
|
|
if (ch >= '0' && ch <= '9') {
|
|
if (s->nb_esc_params < MAX_ESC_PARAMS) {
|
|
if (s->nb_esc_params < MAX_ESC_PARAMS) {
|
|
- s->esc_params[s->nb_esc_params] =
|
|
|
|
- s->esc_params[s->nb_esc_params] * 10 + ch - '0';
|
|
|
|
|
|
+ int *param = &s->esc_params[s->nb_esc_params];
|
|
|
|
+ int digit = (ch - '0');
|
|
|
|
+
|
|
|
|
+ *param = (*param <= (INT_MAX - digit) / 10) ?
|
|
|
|
+ *param * 10 + digit : INT_MAX;
|
|
}
|
|
}
|
|
} else {
|
|
} else {
|
|
if (s->nb_esc_params < MAX_ESC_PARAMS)
|
|
if (s->nb_esc_params < MAX_ESC_PARAMS)
|