Mercurial > vim
comparison src/vim9expr.c @ 34074:1629cc65d78d v9.1.0006
patch 9.1.0006: is*() and to*() function may be unsafe
Commit: https://github.com/vim/vim/commit/184f71cc6868a240dc872ed2852542bbc1d43e28
Author: Keith Thompson <Keith.S.Thompson@gmail.com>
Date: Thu Jan 4 21:19:04 2024 +0100
patch 9.1.0006: is*() and to*() function may be unsafe
Problem: is*() and to*() function may be unsafe
Solution: Add SAFE_* macros and start using those instead
(Keith Thompson)
Use SAFE_() macros for is*() and to*() functions
The standard is*() and to*() functions declared in <ctype.h> have
undefined behavior for negative arguments other than EOF. If plain char
is signed, passing an unchecked value from argv for from user input
to one of these functions has undefined behavior.
Solution: Add SAFE_*() macros that cast the argument to unsigned char.
Most implementations behave sanely for negative arguments, and most
character values in practice are non-negative, but it's still best
to avoid undefined behavior.
The change from #13347 has been omitted, as this has already been
separately fixed in commit ac709e2fc0db6d31abb7da96f743c40956b60c3a
(v9.0.2054)
fixes: #13332
closes: #13347
Signed-off-by: Keith Thompson <Keith.S.Thompson@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
author | Christian Brabandt <cb@256bit.org> |
---|---|
date | Thu, 04 Jan 2024 21:30:04 +0100 |
parents | 84b93d95a952 |
children | 5c1a025192ed |
comparison
equal
deleted
inserted
replaced
34073:7d9c9731e78e | 34074:1629cc65d78d |
---|---|
1948 { | 1948 { |
1949 // "is" and "isnot"; but not a prefix of a name | 1949 // "is" and "isnot"; but not a prefix of a name |
1950 if (p[2] == 'n' && p[3] == 'o' && p[4] == 't') | 1950 if (p[2] == 'n' && p[3] == 'o' && p[4] == 't') |
1951 *len = 5; | 1951 *len = 5; |
1952 i = p[*len]; | 1952 i = p[*len]; |
1953 if (!isalnum(i) && i != '_') | 1953 if (!SAFE_isalnum(i) && i != '_') |
1954 { | 1954 { |
1955 type = *len == 2 ? EXPR_IS : EXPR_ISNOT; | 1955 type = *len == 2 ? EXPR_IS : EXPR_ISNOT; |
1956 *type_is = TRUE; | 1956 *type_is = TRUE; |
1957 } | 1957 } |
1958 } | 1958 } |