|
 |
220df3 |
From dc315cbd2d8582498c885a55ea73ecc84634168b Mon Sep 17 00:00:00 2001
|
|
|
220df3 |
From: Even Rouault <even.rouault@spatialys.com>
|
|
|
220df3 |
Date: Thu, 30 Jan 2020 00:59:57 +0100
|
|
|
220df3 |
Subject: [PATCH] opj_tcd_init_tile(): avoid integer overflow
|
|
|
220df3 |
|
|
|
220df3 |
That could lead to later assertion failures.
|
|
|
220df3 |
|
|
|
220df3 |
Fixes #1231 / CVE-2020-8112
|
|
|
220df3 |
---
|
|
|
220df3 |
src/lib/openjp2/tcd.c | 20 ++++++++++++++++++--
|
|
|
220df3 |
1 file changed, 18 insertions(+), 2 deletions(-)
|
|
|
220df3 |
|
|
|
220df3 |
diff --git a/src/lib/openjp2/tcd.c b/src/lib/openjp2/tcd.c
|
|
|
220df3 |
index be3b843..647991c 100644
|
|
|
220df3 |
--- a/src/lib/openjp2/tcd.c
|
|
|
220df3 |
+++ b/src/lib/openjp2/tcd.c
|
|
|
220df3 |
@@ -905,8 +905,24 @@ static INLINE OPJ_BOOL opj_tcd_init_tile(opj_tcd_t *p_tcd, OPJ_UINT32 p_tile_no,
|
|
|
220df3 |
/* p. 64, B.6, ISO/IEC FDIS15444-1 : 2000 (18 august 2000) */
|
|
|
220df3 |
l_tl_prc_x_start = opj_int_floordivpow2(l_res->x0, (OPJ_INT32)l_pdx) << l_pdx;
|
|
|
220df3 |
l_tl_prc_y_start = opj_int_floordivpow2(l_res->y0, (OPJ_INT32)l_pdy) << l_pdy;
|
|
|
220df3 |
- l_br_prc_x_end = opj_int_ceildivpow2(l_res->x1, (OPJ_INT32)l_pdx) << l_pdx;
|
|
|
220df3 |
- l_br_prc_y_end = opj_int_ceildivpow2(l_res->y1, (OPJ_INT32)l_pdy) << l_pdy;
|
|
|
220df3 |
+ {
|
|
|
220df3 |
+ OPJ_UINT32 tmp = ((OPJ_UINT32)opj_int_ceildivpow2(l_res->x1,
|
|
|
220df3 |
+ (OPJ_INT32)l_pdx)) << l_pdx;
|
|
|
220df3 |
+ if (tmp > (OPJ_UINT32)INT_MAX) {
|
|
|
220df3 |
+ opj_event_msg(manager, EVT_ERROR, "Integer overflow\n");
|
|
|
220df3 |
+ return OPJ_FALSE;
|
|
|
220df3 |
+ }
|
|
|
220df3 |
+ l_br_prc_x_end = (OPJ_INT32)tmp;
|
|
|
220df3 |
+ }
|
|
|
220df3 |
+ {
|
|
|
220df3 |
+ OPJ_UINT32 tmp = ((OPJ_UINT32)opj_int_ceildivpow2(l_res->y1,
|
|
|
220df3 |
+ (OPJ_INT32)l_pdy)) << l_pdy;
|
|
|
220df3 |
+ if (tmp > (OPJ_UINT32)INT_MAX) {
|
|
|
220df3 |
+ opj_event_msg(manager, EVT_ERROR, "Integer overflow\n");
|
|
|
220df3 |
+ return OPJ_FALSE;
|
|
|
220df3 |
+ }
|
|
|
220df3 |
+ l_br_prc_y_end = (OPJ_INT32)tmp;
|
|
|
220df3 |
+ }
|
|
|
220df3 |
/*fprintf(stderr, "\t\t\tprc_x_start=%d, prc_y_start=%d, br_prc_x_end=%d, br_prc_y_end=%d \n", l_tl_prc_x_start, l_tl_prc_y_start, l_br_prc_x_end ,l_br_prc_y_end );*/
|
|
|
220df3 |
|
|
|
220df3 |
l_res->pw = (l_res->x0 == l_res->x1) ? 0U : (OPJ_UINT32)((
|
|
|
220df3 |
--
|
|
|
220df3 |
2.21.1
|
|
|
220df3 |
|