* src/sfnt/ttcolr.c (tt_face_load_colr): Improve overflow checks.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94
diff --git a/ChangeLog b/ChangeLog
index eadf848..d295c25 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2018-06-10 Werner Lemberg <wl@gnu.org>
+
+ * src/sfnt/ttcolr.c (tt_face_load_colr): Improve overflow checks.
+
2018-06-09 Alexei Podtelezhnikov <apodtele@gmail.com>
[raster] Deal with pitch sign earlier.
diff --git a/src/sfnt/ttcolr.c b/src/sfnt/ttcolr.c
index ecadcdd..93185e3 100644
--- a/src/sfnt/ttcolr.c
+++ b/src/sfnt/ttcolr.c
@@ -120,8 +120,7 @@
Cpal cpal;
ColrCpal* cc = NULL;
- FT_ULong base_glyph_begin, base_glyph_end, layer_begin, layer_end;
- FT_ULong colors_offset;
+ FT_ULong base_glyph_offset, layer_offset, colors_offset;
FT_ULong table_size;
@@ -133,7 +132,7 @@
if ( error )
goto NoColor;
- if ( table_size < sizeof ( COLR_HEADER_SIZE ) )
+ if ( table_size < COLR_HEADER_SIZE )
goto InvalidTable;
if ( FT_FRAME_EXTRACT( table_size, colr_table ) )
@@ -142,33 +141,29 @@
p = colr_table;
FT_ZERO( &colr );
- colr.version = FT_NEXT_USHORT( p );
- colr.num_base_glyphs = FT_NEXT_USHORT( p );
-
- base_glyph_begin = FT_NEXT_ULONG( p );
- layer_begin = FT_NEXT_ULONG( p );
-
- colr.num_layers = FT_NEXT_USHORT( p );
- colr.base_glyphs = (FT_Byte*)( colr_table + base_glyph_begin );
- colr.layers = (FT_Byte*)( colr_table + layer_begin );
-
+ colr.version = FT_NEXT_USHORT( p );
if ( colr.version != 0 )
goto InvalidTable;
- /* Ensure variable length tables lies within the COLR table. */
- /* We wrap around FT_ULong at most once since count is FT_UShort. */
+ colr.num_base_glyphs = FT_NEXT_USHORT( p );
+ base_glyph_offset = FT_NEXT_ULONG( p );
- base_glyph_end = base_glyph_begin +
- colr.num_base_glyphs * BASE_GLYPH_SIZE;
- layer_end = layer_begin +
- colr.num_layers * LAYER_SIZE;
- if ( base_glyph_end < base_glyph_begin || base_glyph_end > table_size ||
- layer_end < layer_begin || layer_end > table_size )
+ if ( base_glyph_offset >= table_size )
goto InvalidTable;
+ if ( colr.num_base_glyphs * BASE_GLYPH_SIZE >
+ table_size - base_glyph_offset )
+ goto InvalidTable;
+
+ layer_offset = FT_NEXT_ULONG( p );
+ colr.num_layers = FT_NEXT_USHORT( p );
- /* Ensure pointers don't wrap. */
- if ( colr.base_glyphs < colr_table || colr.layers < colr_table )
+ if ( layer_offset >= table_size )
goto InvalidTable;
+ if ( colr.num_layers * LAYER_SIZE > table_size - layer_offset )
+ goto InvalidTable;
+
+ colr.base_glyphs = (FT_Byte*)( colr_table + base_glyph_offset );
+ colr.layers = (FT_Byte*)( colr_table + layer_offset );
/*
* CPAL
@@ -203,7 +198,7 @@
goto InvalidTable;
cpal.color_indices = p;
- cpal.colors = (FT_Byte*)cpal_table + colors_offset;
+ cpal.colors = (FT_Byte*)( cpal_table + colors_offset );
if ( cpal.version == 1 )
{