diff options
author | Vitaly Buka <vitalybuka-at-google.com@ffmpeg.org> | 2017-08-20 11:56:47 -0700 |
---|---|---|
committer | Michael Niedermayer <michael@niedermayer.cc> | 2017-09-10 01:33:28 +0200 |
commit | 9739a269fb4d94b93ebcae31cd11d61b68407633 (patch) | |
tree | b9ab36f53dfcb163c4fe80eaa11360a32322223a | |
parent | c8890413520a0a07cfc1d2856baae466522690c1 (diff) | |
download | ffmpeg-9739a269fb4d94b93ebcae31cd11d61b68407633.tar.gz |
avformat/aviobuf: Fix signed integer overflow in avio_seek()
Signed integer overflow is undefined behavior.
Detected with clang and -fsanitize=signed-integer-overflow
Signed-off-by: Vitaly Buka <vitalybuka@google.com>
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
(cherry picked from commit eca2a49716ae1f42804dd3545da2f740edf03250)
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
-rw-r--r-- | libavformat/aviobuf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libavformat/aviobuf.c b/libavformat/aviobuf.c index ef6a0d4e9b..9afe9b3a68 100644 --- a/libavformat/aviobuf.c +++ b/libavformat/aviobuf.c @@ -251,6 +251,8 @@ int64_t avio_seek(AVIOContext *s, int64_t offset, int whence) offset1 = pos + (s->buf_ptr - s->buffer); if (offset == 0) return offset1; + if (offset > INT64_MAX - offset1) + return AVERROR(EINVAL); offset += offset1; } if (offset < 0) |