diff options
author | Oneric <oneric@oneric.stub> | 2022-09-28 00:05:50 +0200 |
---|---|---|
committer | Oneric <oneric@oneric.stub> | 2022-09-29 21:34:35 +0200 |
commit | abd7cd51d86d299b72d5827332352bfdbeb359db (patch) | |
tree | f07153c8aeef7a7a7b76a2951657ced322b9ca51 /libass/ass_render.h | |
parent | 486fb4a871b50bd2a7e416266ed3e24cae2d3d2b (diff) | |
download | libass-abd7cd51d86d299b72d5827332352bfdbeb359db.tar.bz2 libass-abd7cd51d86d299b72d5827332352bfdbeb359db.tar.xz |
parse: avoid signed overflow for effect_skip_timing
Discovered by OSS-Fuzz.
For sufficiently large valued or numerous karaoke tags
the addition to effect_skip_timing can overflow.
Since the operands were signed, this was undefined behaviour.
For utmost VSFilter compatibility, we'd like to ideally emulate its
effective wraparound behaviour. Although the exact order pf calculation
differs, merely ensuring our values safely wraparound too should yield
the same end result.
To that end, we first change the types of the relevant members to
int32_t guaranteeing the same size as in VSFilter and complement-of-two
representation and then also cast one operand to uint32_t.
Through integer promotion both operands will be treated as unsigned,
so any overflow will be (perfectly defined) unsigend overflow.
The final implicit cast back to int32_t is technically implementation
defined and may raise an "implementation-defined signal", but due to
the complement-of-two semantics in pratice we just get a wraparound
matching the wraparaound expected for the original signed
complement-of-two overflow, but while avoiding UB.
Compilers appear to emit the same machine code on x86 with or without
the uint32_t cast, if any optimisations are enabled and otherwise
at most minor differences.
Fixes: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=47993
Diffstat (limited to 'libass/ass_render.h')
-rw-r--r-- | libass/ass_render.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/libass/ass_render.h b/libass/ass_render.h index 2c5d515..e86219f 100644 --- a/libass/ass_render.h +++ b/libass/ass_render.h @@ -104,7 +104,7 @@ typedef struct { // during render_and_combine_glyphs: distance in subpixels from the karaoke origin. // after render_and_combine_glyphs: screen coordinate in pixels. // part of the glyph to the left of it is displayed in a different color. - int effect_timing; + int32_t effect_timing; // karaoke origin: screen coordinate of leftmost post-transform control point x in subpixels int32_t leftmost_x; @@ -147,10 +147,10 @@ typedef struct glyph_info { ASS_Vector advance; // 26.6 ASS_Vector cluster_advance; Effect effect_type; - int effect_timing; // time duration of current karaoke word + int32_t effect_timing; // time duration of current karaoke word // after process_karaoke_effects: distance in subpixels from the karaoke origin. // part of the glyph to the left of it is displayed in a different color. - int effect_skip_timing; // delay after the end of last karaoke word + int32_t effect_skip_timing; // delay after the end of last karaoke word int asc, desc; // font max ascender and descender int be; // blur edges double blur; // gaussian blur @@ -252,8 +252,8 @@ typedef struct { int clip_drawing_mode; // 0 = regular clip, 1 = inverse clip Effect effect_type; - int effect_timing; - int effect_skip_timing; + int32_t effect_timing; + int32_t effect_skip_timing; enum { SCROLL_LR, // left-to-right |