0007-opj_tcd_init_tile-avoid-integer-overflow.patch 2.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. From 05f9b91e60debda0e83977e5e63b2e66486f7074 Mon Sep 17 00:00:00 2001
  2. From: Even Rouault <even.rouault@spatialys.com>
  3. Date: Thu, 30 Jan 2020 00:59:57 +0100
  4. Subject: [PATCH] opj_tcd_init_tile(): avoid integer overflow
  5. That could lead to later assertion failures.
  6. Fixes #1231 / CVE-2020-8112
  7. [Retrieved from:
  8. https://github.com/uclouvain/openjpeg/commit/05f9b91e60debda0e83977e5e63b2e66486f7074]
  9. Signed-off-by: Fabrice Fontaine <fontaine.fabrice@gmail.com>
  10. ---
  11. src/lib/openjp2/tcd.c | 20 ++++++++++++++++++--
  12. 1 file changed, 18 insertions(+), 2 deletions(-)
  13. diff --git a/src/lib/openjp2/tcd.c b/src/lib/openjp2/tcd.c
  14. index deecc4dff..aa419030a 100644
  15. --- a/src/lib/openjp2/tcd.c
  16. +++ b/src/lib/openjp2/tcd.c
  17. @@ -905,8 +905,24 @@ static INLINE OPJ_BOOL opj_tcd_init_tile(opj_tcd_t *p_tcd, OPJ_UINT32 p_tile_no,
  18. /* p. 64, B.6, ISO/IEC FDIS15444-1 : 2000 (18 august 2000) */
  19. l_tl_prc_x_start = opj_int_floordivpow2(l_res->x0, (OPJ_INT32)l_pdx) << l_pdx;
  20. l_tl_prc_y_start = opj_int_floordivpow2(l_res->y0, (OPJ_INT32)l_pdy) << l_pdy;
  21. - l_br_prc_x_end = opj_int_ceildivpow2(l_res->x1, (OPJ_INT32)l_pdx) << l_pdx;
  22. - l_br_prc_y_end = opj_int_ceildivpow2(l_res->y1, (OPJ_INT32)l_pdy) << l_pdy;
  23. + {
  24. + OPJ_UINT32 tmp = ((OPJ_UINT32)opj_int_ceildivpow2(l_res->x1,
  25. + (OPJ_INT32)l_pdx)) << l_pdx;
  26. + if (tmp > (OPJ_UINT32)INT_MAX) {
  27. + opj_event_msg(manager, EVT_ERROR, "Integer overflow\n");
  28. + return OPJ_FALSE;
  29. + }
  30. + l_br_prc_x_end = (OPJ_INT32)tmp;
  31. + }
  32. + {
  33. + OPJ_UINT32 tmp = ((OPJ_UINT32)opj_int_ceildivpow2(l_res->y1,
  34. + (OPJ_INT32)l_pdy)) << l_pdy;
  35. + if (tmp > (OPJ_UINT32)INT_MAX) {
  36. + opj_event_msg(manager, EVT_ERROR, "Integer overflow\n");
  37. + return OPJ_FALSE;
  38. + }
  39. + l_br_prc_y_end = (OPJ_INT32)tmp;
  40. + }
  41. /*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 );*/
  42. l_res->pw = (l_res->x0 == l_res->x1) ? 0U : (OPJ_UINT32)((