Skip to content

Commit d8c30cf

Browse files
devnexendevnexen
committed
ext/gd: calls with array types check strengthening.
1 parent 13e0fb9 commit d8c30cf

File tree

3 files changed

+161
-15
lines changed

3 files changed

+161
-15
lines changed

‎ext/gd/gd.c

Lines changed: 57 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -652,7 +652,20 @@ PHP_FUNCTION(imagesetstyle)
652652
stylearr = safe_emalloc(sizeof(int), num_styles, 0);
653653

654654
ZEND_HASH_FOREACH_VAL(Z_ARRVAL_P(styles), item) {
655-
stylearr[index++] = zval_get_long(item);
655+
bool failed = false;
656+
ZVAL_DEREF(item);
657+
zend_long tmp = zval_try_get_long(item, &failed);
658+
if (failed) {
659+
efree(stylearr);
660+
zend_argument_type_error(2, "must only have elements of type int, %s given", zend_zval_type_name(item));
661+
RETURN_THROWS();
662+
}
663+
if (ZEND_LONG_EXCEEDS_INT(tmp)) {
664+
efree(stylearr);
665+
zend_argument_type_error(2, "elements must be between %d and %d", INT_MIN, INT_MAX);
666+
RETURN_THROWS();
667+
}
668+
stylearr[index++] = (int) tmp;
656669
} ZEND_HASH_FOREACH_END();
657670

658671
gdImageSetStyle(im, stylearr, index);
@@ -3648,7 +3661,20 @@ static void php_image_filter_scatter(INTERNAL_FUNCTION_PARAMETERS)
36483661
colors = emalloc(num_colors * sizeof(int));
36493662

36503663
ZEND_HASH_FOREACH_VAL(Z_ARRVAL_P(hash_colors), color) {
3651-
*(colors + i++) = (int) zval_get_long(color);
3664+
bool failed = false;
3665+
ZVAL_DEREF(color);
3666+
zend_long tmp = zval_try_get_long(color, &failed);
3667+
if (failed) {
3668+
efree(colors);
3669+
zend_argument_value_error(5, "value must be of type int, %s given", zend_zval_type_name(color));
3670+
RETURN_THROWS();
3671+
}
3672+
if (tmp < 0 || ZEND_LONG_INT_OVFL(tmp)) {
3673+
efree(colors);
3674+
zend_argument_value_error(5, "value must be between 0 and %d", INT_MAX);
3675+
RETURN_THROWS();
3676+
}
3677+
colors[i++] = (int) tmp;
36523678
} ZEND_HASH_FOREACH_END();
36533679

36543680
RETVAL_BOOL(gdImageScatterColor(im, (int)scatter_sub, (int)scatter_plus, colors, num_colors));
@@ -3822,6 +3848,23 @@ PHP_FUNCTION(imageantialias)
38223848
}
38233849
/* }}} */
38243850

3851+
static bool php_gd_zval_try_get_c_int(zval *tmp, const char *field, int *res) {
3852+
zend_long r;
3853+
bool failed = false;
3854+
ZVAL_DEREF(tmp);
3855+
r = zval_try_get_long(tmp, &failed);
3856+
if (failed) {
3857+
zend_argument_value_error(2, "\"%s\" key must be of type int, %s given", field, zend_zval_type_name(tmp));
3858+
return false;
3859+
}
3860+
if (UNEXPECTED(ZEND_LONG_EXCEEDS_INT(r))) {
3861+
zend_argument_value_error(2, "\"%s\" key must be between %d and %d", field, INT_MIN, INT_MAX);
3862+
return false;
3863+
}
3864+
*res = (int)r;
3865+
return true;
3866+
}
3867+
38253868
/* {{{ Crop an image using the given coordinates and size, x, y, width and height. */
38263869
PHP_FUNCTION(imagecrop)
38273870
{
@@ -3840,28 +3883,36 @@ PHP_FUNCTION(imagecrop)
38403883
im = php_gd_libgdimageptr_from_zval_p(IM);
38413884

38423885
if ((tmp = zend_hash_str_find(Z_ARRVAL_P(z_rect), "x", sizeof("x") -1)) != NULL) {
3843-
rect.x = zval_get_long(tmp);
3886+
if (!php_gd_zval_try_get_c_int(tmp, "x", &rect.x)) {
3887+
RETURN_THROWS();
3888+
}
38443889
} else {
38453890
zend_argument_value_error(2, "must have an \"x\" key");
38463891
RETURN_THROWS();
38473892
}
38483893

38493894
if ((tmp = zend_hash_str_find(Z_ARRVAL_P(z_rect), "y", sizeof("y") - 1)) != NULL) {
3850-
rect.y = zval_get_long(tmp);
3895+
if (!php_gd_zval_try_get_c_int(tmp, "y", &rect.y)) {
3896+
RETURN_THROWS();
3897+
}
38513898
} else {
38523899
zend_argument_value_error(2, "must have a \"y\" key");
38533900
RETURN_THROWS();
38543901
}
38553902

38563903
if ((tmp = zend_hash_str_find(Z_ARRVAL_P(z_rect), "width", sizeof("width") - 1)) != NULL) {
3857-
rect.width = zval_get_long(tmp);
3904+
if (!php_gd_zval_try_get_c_int(tmp, "width", &rect.width)) {
3905+
RETURN_THROWS();
3906+
}
38583907
} else {
38593908
zend_argument_value_error(2, "must have a \"width\" key");
38603909
RETURN_THROWS();
38613910
}
38623911

38633912
if ((tmp = zend_hash_str_find(Z_ARRVAL_P(z_rect), "height", sizeof("height") - 1)) != NULL) {
3864-
rect.height = zval_get_long(tmp);
3913+
if (!php_gd_zval_try_get_c_int(tmp, "height", &rect.height)) {
3914+
RETURN_THROWS();
3915+
}
38653916
} else {
38663917
zend_argument_value_error(2, "must have a \"height\" key");
38673918
RETURN_THROWS();

‎ext/gd/tests/bug66356.phpt

Lines changed: 12 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -7,10 +7,14 @@ gd
77
$img = imagecreatetruecolor(10, 10);
88

99
// POC #1
10-
var_dump(imagecrop($img, array("x" => "a", "y" => 0, "width" => 10, "height" => 10)));
10+
var_dump(imagecrop($img, array("x" => 0, "y" => 0, "width" => 10, "height" => 10)));
1111

12-
$arr = array("x" => "a", "y" => "12b", "width" => 10, "height" => 10);
13-
var_dump(imagecrop($img, $arr));
12+
$arr = array("x" => 2147483647, "y" => 2147483647, "width" => 10, "height" => 10);
13+
try {
14+
imagecrop($img, $arr);
15+
} catch (\ValueError $e) {
16+
echo $e->getMessage() . PHP_EOL;
17+
}
1418
print_r($arr);
1519

1620
// POC #2
@@ -28,22 +32,21 @@ var_dump(imagecrop($img, array("x" => 0, "y" => 0, "width" => 65535, "height" =>
2832
--EXPECTF--
2933
object(GdImage)#2 (0) {
3034
}
31-
object(GdImage)#2 (0) {
32-
}
35+
imagecrop(): Argument #2 ($rectangle) overflow with "x" and "width" keys
3336
Array
3437
(
35-
[x] => a
36-
[y] => 12b
38+
[x] => 2147483647
39+
[y] => 2147483647
3740
[width] => 10
3841
[height] => 10
3942
)
4043

4144
Warning: imagecrop(): %cne parameter to a memory allocation multiplication is negative or zero, failing operation gracefully
4245
in %s on line %d
4346
bool(false)
44-
object(GdImage)#2 (0) {
47+
object(GdImage)#3 (0) {
4548
}
46-
object(GdImage)#2 (0) {
49+
object(GdImage)#3 (0) {
4750
}
4851

4952
Warning: imagecrop(): %croduct of memory allocation multiplication would exceed INT_MAX, failing operation gracefully

‎ext/gd/tests/gh18005.phpt

Lines changed: 92 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,92 @@
1+
--TEST--
2+
GH-18005: imagesetstyle, imagefilter, imagecrop array values type checks
3+
--EXTENSIONS--
4+
gd
5+
--SKIPIF--
6+
<?php
7+
if (PHP_INT_SIZE != 8) die('skip this test is for 64bit platforms only');
8+
?>
9+
--FILE--
10+
<?php
11+
class A {}
12+
$img = imagecreatetruecolor(1, 1);
13+
try {
14+
imagesetstyle($img, [0, new A()]);
15+
} catch (\TypeError $e) {
16+
echo $e->getMessage() . PHP_EOL;
17+
}
18+
try {
19+
imagesetstyle($img, [0, PHP_INT_MIN]);
20+
} catch (\TypeError $e) {
21+
echo $e->getMessage() . PHP_EOL;
22+
}
23+
try {
24+
imagefilter($img, IMG_FILTER_SCATTER, 0, 0, [new A()]);
25+
} catch (\ValueError $e) {
26+
echo $e->getMessage() . PHP_EOL;
27+
}
28+
try {
29+
imagefilter($img, IMG_FILTER_SCATTER, 0, 0, [-1]);
30+
} catch (\ValueError $e) {
31+
echo $e->getMessage() . PHP_EOL;
32+
}
33+
try {
34+
imagecrop($img, ["x" => PHP_INT_MIN, "y" => 0, "width" => 0, "height" => 0]);
35+
} catch (\ValueError $e) {
36+
echo $e->getMessage() . PHP_EOL;
37+
}
38+
try {
39+
imagecrop($img, ["x" => 0, "y" => PHP_INT_MIN, "width" => 0, "height" => 0]);
40+
} catch (\ValueError $e) {
41+
echo $e->getMessage() . PHP_EOL;
42+
}
43+
try {
44+
imagecrop($img, ["x" => 0, "y" => 0, "width" => PHP_INT_MAX, "height" => 0]);
45+
} catch (\ValueError $e) {
46+
echo $e->getMessage() . PHP_EOL;
47+
}
48+
try {
49+
imagecrop($img, ["x" => 0, "y" => 0, "width" => 0, "height" => PHP_INT_MAX]);
50+
} catch (\ValueError $e) {
51+
echo $e->getMessage() . PHP_EOL;
52+
}
53+
54+
try {
55+
imagecrop($img, ["x" => new A(), "y" => 0, "width" => 0, "height" => 0]);
56+
} catch (\ValueError $e) {
57+
echo $e->getMessage() . PHP_EOL;
58+
}
59+
try {
60+
imagecrop($img, ["x" => 0, "y" => new A(), "width" => 0, "height" => 0]);
61+
} catch (\ValueError $e) {
62+
echo $e->getMessage() . PHP_EOL;
63+
}
64+
try {
65+
imagecrop($img, ["x" => 0, "y" => 0, "width" => new A(), "height" => 0]);
66+
} catch (\ValueError $e) {
67+
echo $e->getMessage() . PHP_EOL;
68+
}
69+
try {
70+
imagecrop($img, ["x" => 0, "y" => 0, "width" => 0, "height" => new A()]);
71+
} catch (\ValueError $e) {
72+
echo $e->getMessage() . PHP_EOL;
73+
}
74+
75+
$one = 1;
76+
var_dump(imagecrop($img, ["x" => &$one, "y" => &$one, "width" => &$one, "height" => &$one]));
77+
?>
78+
--EXPECTF--
79+
imagesetstyle(): Argument #2 ($style) must only have elements of type int, A given
80+
imagesetstyle(): Argument #2 ($style) elements must be between %i and %d
81+
imagefilter(): Argument #5 value must be of type int, A given
82+
imagefilter(): Argument #5 value must be between 0 and 2147483647
83+
imagecrop(): Argument #2 ($rectangle) "x" key must be between %i and %d
84+
imagecrop(): Argument #2 ($rectangle) "y" key must be between %i and %d
85+
imagecrop(): Argument #2 ($rectangle) "width" key must be between %i and %d
86+
imagecrop(): Argument #2 ($rectangle) "height" key must be between %i and %d
87+
imagecrop(): Argument #2 ($rectangle) "x" key must be of type int, A given
88+
imagecrop(): Argument #2 ($rectangle) "y" key must be of type int, A given
89+
imagecrop(): Argument #2 ($rectangle) "width" key must be of type int, A given
90+
imagecrop(): Argument #2 ($rectangle) "height" key must be of type int, A given
91+
object(GdImage)#2 (0) {
92+
}

0 commit comments

Comments
 (0)