diff mbox

[FFmpeg-devel] avcodec/pixlet: Simplify nbits computation

Message ID 20170726220117.23142-1-michael@niedermayer.cc
State Accepted
Commit aeddb3607be94b1d6fef41b602b07f08223ea565
Headers show

Commit Message

Michael Niedermayer July 26, 2017, 10:01 p.m. UTC
Fixes multiple integer overflows
Fixes: runtime error: signed integer overflow: 1 + 2147483647 cannot be represented in type 'int'

Found-by: continuous fuzzing process https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
---
 libavcodec/pixlet.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Comments

Paul B Mahol July 27, 2017, 1:44 p.m. UTC | #1
On 7/27/17, Michael Niedermayer <michael@niedermayer.cc> wrote:
> Fixes multiple integer overflows
> Fixes: runtime error: signed integer overflow: 1 + 2147483647 cannot be
> represented in type 'int'
>
> Found-by: continuous fuzzing process
> https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
> Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
> ---
>  libavcodec/pixlet.c | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)

LGTM
Michael Niedermayer July 27, 2017, 9:47 p.m. UTC | #2
On Thu, Jul 27, 2017 at 03:44:46PM +0200, Paul B Mahol wrote:
> On 7/27/17, Michael Niedermayer <michael@niedermayer.cc> wrote:
> > Fixes multiple integer overflows
> > Fixes: runtime error: signed integer overflow: 1 + 2147483647 cannot be
> > represented in type 'int'
> >
> > Found-by: continuous fuzzing process
> > https://github.com/google/oss-fuzz/tree/master/projects/ffmpeg
> > Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
> > ---
> >  libavcodec/pixlet.c | 4 ++--
> >  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> LGTM

applied

thx

[...]
diff mbox

Patch

diff --git a/libavcodec/pixlet.c b/libavcodec/pixlet.c
index 0e541a9ccb..a9661d3ab6 100644
--- a/libavcodec/pixlet.c
+++ b/libavcodec/pixlet.c
@@ -206,8 +206,8 @@  static int read_high_coeffs(AVCodecContext *avctx, uint8_t *src, int16_t *dst, i
     if ((ret = init_get_bits8(b, src, bytestream2_get_bytes_left(&ctx->gb))) < 0)
       return ret;
 
-    if ((a >= 0) + (a ^ (a >> 31)) - (a >> 31) != 1) {
-        nbits = 33 - ff_clz((a >= 0) + (a ^ (a >> 31)) - (a >> 31) - 1);
+    if (a ^ (a >> 31)) {
+        nbits = 33 - ff_clz(a ^ (a >> 31));
         if (nbits > 16)
             return AVERROR_INVALIDDATA;
     } else {