[FFmpeg-cvslog] avformat/rpl: The associative law doesnt hold for signed integers in C
Michael Niedermayer
git at videolan.org
Sat Jun 12 19:00:19 EEST 2021
ffmpeg | branch: master | Michael Niedermayer <michael at niedermayer.cc> | Thu Jun 10 20:35:43 2021 +0200| [480f11bdd713c15e4964093be7ef0adf5b619cc1] | committer: Michael Niedermayer
avformat/rpl: The associative law doesnt hold for signed integers in C
Add () to avoid undefined behavior
Fixes: signed integer overflow: 9223372036854775790 + 57 cannot be represented in type 'long'
Fixes: 34983/clusterfuzz-testcase-minimized-ffmpeg_dem_RPL_fuzzer-5765822923538432
Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>
> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=480f11bdd713c15e4964093be7ef0adf5b619cc1
---
libavformat/rpl.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/libavformat/rpl.c b/libavformat/rpl.c
index fac377b68e..296cb2c984 100644
--- a/libavformat/rpl.c
+++ b/libavformat/rpl.c
@@ -103,7 +103,7 @@ static AVRational read_fps(const char* line, int* error)
// Truncate any numerator too large to fit into an int64_t
if (num > (INT64_MAX - 9) / 10 || den > INT64_MAX / 10)
break;
- num = 10 * num + *line - '0';
+ num = 10 * num + (*line - '0');
den *= 10;
}
if (!num)
More information about the ffmpeg-cvslog
mailing list