summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2019-12-19 11:46:14 +0100
committerNikita Popov <nikita.ppv@gmail.com>2019-12-19 11:47:50 +0100
commit527ad1d80ce3a24f89b71fe3998f2f6314146029 (patch)
tree1452956d3a34ec785c4365c12d5e47c4b8af6cbc
parente4b12fc62a25563dd60fa4f29ff0267375c70ac4 (diff)
downloadphp-git-527ad1d80ce3a24f89b71fe3998f2f6314146029.tar.gz
Avoid signed integer overflow in string offset check
Cast to size_t before performing operations instead of afterwards.
-rw-r--r--Zend/tests/string_offset_int_min_max.phpt16
-rw-r--r--Zend/zend_execute.c2
2 files changed, 17 insertions, 1 deletions
diff --git a/Zend/tests/string_offset_int_min_max.phpt b/Zend/tests/string_offset_int_min_max.phpt
new file mode 100644
index 0000000000..b8bd4bcd6b
--- /dev/null
+++ b/Zend/tests/string_offset_int_min_max.phpt
@@ -0,0 +1,16 @@
+--TEST--
+Accessing PHP_INT_MAX and PHP_INT_MIN as string offsets
+--FILE--
+<?php
+
+$str = "";
+var_dump($str[PHP_INT_MAX]);
+var_dump($str[PHP_INT_MIN]);
+
+?>
+--EXPECTF--
+Notice: Uninitialized string offset: %d in %s on line %d
+string(0) ""
+
+Notice: Uninitialized string offset: -%d in %s on line %d
+string(0) ""
diff --git a/Zend/zend_execute.c b/Zend/zend_execute.c
index 3b980e8776..9ae73caae1 100644
--- a/Zend/zend_execute.c
+++ b/Zend/zend_execute.c
@@ -2369,7 +2369,7 @@ try_string_offset:
offset = Z_LVAL_P(dim);
}
- if (UNEXPECTED(Z_STRLEN_P(container) < (size_t)((offset < 0) ? -offset : (offset + 1)))) {
+ if (UNEXPECTED(Z_STRLEN_P(container) < ((offset < 0) ? -(size_t)offset : ((size_t)offset + 1)))) {
if (type != BP_VAR_IS) {
zend_error(E_NOTICE, "Uninitialized string offset: " ZEND_LONG_FMT, offset);
ZVAL_EMPTY_STRING(result);