add some overflow checks before multiplying (closes #23165)

This commit is contained in:
Benjamin Peterson 2015-01-04 16:03:17 -06:00
parent 47e782a67a
commit f18bf6fd2d
2 changed files with 16 additions and 3 deletions

View File

@ -10,6 +10,9 @@ What's New in Python 3.2.6?
Core and Builtins Core and Builtins
----------------- -----------------
- Issue #23165: Perform overflow checks before allocating memory in the
_Py_char2wchar function.
- Issue #19529: Fix a potential crash in converting Unicode objects to wchar_t - Issue #19529: Fix a potential crash in converting Unicode objects to wchar_t
when Py_UNICODE is 4 bytes but wchar_t is 2 bytes, for example on AIX. when Py_UNICODE is 4 bytes but wchar_t is 2 bytes, for example on AIX.

View File

@ -169,8 +169,11 @@ decode_ascii_surrogateescape(const char *arg, size_t *size)
wchar_t *res; wchar_t *res;
unsigned char *in; unsigned char *in;
wchar_t *out; wchar_t *out;
size_t argsize = strlen(arg) + 1;
res = PyMem_Malloc((strlen(arg)+1)*sizeof(wchar_t)); if (argsize > PY_SSIZE_T_MAX/sizeof(wchar_t))
return NULL;
res = PyMem_Malloc(argsize*sizeof(wchar_t));
if (!res) if (!res)
return NULL; return NULL;
@ -250,10 +253,15 @@ _Py_char2wchar(const char* arg, size_t *size)
argsize = mbstowcs(NULL, arg, 0); argsize = mbstowcs(NULL, arg, 0);
#endif #endif
if (argsize != (size_t)-1) { if (argsize != (size_t)-1) {
res = (wchar_t *)PyMem_Malloc((argsize+1)*sizeof(wchar_t)); if (argsize == PY_SSIZE_T_MAX)
goto oom;
argsize += 1;
if (argsize > PY_SSIZE_T_MAX/sizeof(wchar_t))
goto oom;
res = (wchar_t *)PyMem_Malloc(argsize*sizeof(wchar_t));
if (!res) if (!res)
goto oom; goto oom;
count = mbstowcs(res, arg, argsize+1); count = mbstowcs(res, arg, argsize);
if (count != (size_t)-1) { if (count != (size_t)-1) {
wchar_t *tmp; wchar_t *tmp;
/* Only use the result if it contains no /* Only use the result if it contains no
@ -276,6 +284,8 @@ _Py_char2wchar(const char* arg, size_t *size)
/* Overallocate; as multi-byte characters are in the argument, the /* Overallocate; as multi-byte characters are in the argument, the
actual output could use less memory. */ actual output could use less memory. */
argsize = strlen(arg) + 1; argsize = strlen(arg) + 1;
if (argsize > PY_SSIZE_T_MAX/sizeof(wchar_t))
goto oom;
res = (wchar_t*)PyMem_Malloc(argsize*sizeof(wchar_t)); res = (wchar_t*)PyMem_Malloc(argsize*sizeof(wchar_t));
if (!res) if (!res)
goto oom; goto oom;