libavcodec/8bps.c:109: error: Integer Overflow L2
  ([1, +oo] - [`*avpkt->data` + 2, 2+min(127, `*avpkt->data`)]):unsigned32.

libavcodec/8bps.c:61:1: <LHS trace>
59.  *
60.  */
61. static int decode_frame(AVCodecContext *avctx, void *data, int *data_size, AVPacket *avpkt)
    ^
62. {
63.         const uint8_t *buf = avpkt->data;

libavcodec/8bps.c:61:1: Parameter `*avpkt->data`
59.  *
60.  */
61. static int decode_frame(AVCodecContext *avctx, void *data, int *data_size, AVPacket *avpkt)
    ^
62. {
63.         const uint8_t *buf = avpkt->data;

libavcodec/8bps.c:107:38: Assignment
105.                         while(dlen > 0) {
106.                                 if(dp + 1 >= buf+buf_size) return -1;
107.                                 if ((count = *dp++) <= 127) {
                                          ^
108.                                         count++;
109.                                         dlen -= count + 1;

libavcodec/8bps.c:108:41: Assignment
106.                                 if(dp + 1 >= buf+buf_size) return -1;
107.                                 if ((count = *dp++) <= 127) {
108.                                         count++;
                                             ^
109.                                         dlen -= count + 1;
110.                                         if (pixptr + count * px_inc > pixptr_end)

libavcodec/8bps.c:109:41: Assignment
107.                                 if ((count = *dp++) <= 127) {
108.                                         count++;
109.                                         dlen -= count + 1;
                                             ^
110.                                         if (pixptr + count * px_inc > pixptr_end)
111.                                             break;

libavcodec/8bps.c:61:1: <RHS trace>
59.  *
60.  */
61. static int decode_frame(AVCodecContext *avctx, void *data, int *data_size, AVPacket *avpkt)
    ^
62. {
63.         const uint8_t *buf = avpkt->data;

libavcodec/8bps.c:61:1: Parameter `*avpkt->data`
59.  *
60.  */
61. static int decode_frame(AVCodecContext *avctx, void *data, int *data_size, AVPacket *avpkt)
    ^
62. {
63.         const uint8_t *buf = avpkt->data;

libavcodec/8bps.c:107:38: Assignment
105.                         while(dlen > 0) {
106.                                 if(dp + 1 >= buf+buf_size) return -1;
107.                                 if ((count = *dp++) <= 127) {
                                          ^
108.                                         count++;
109.                                         dlen -= count + 1;

libavcodec/8bps.c:108:41: Assignment
106.                                 if(dp + 1 >= buf+buf_size) return -1;
107.                                 if ((count = *dp++) <= 127) {
108.                                         count++;
                                             ^
109.                                         dlen -= count + 1;
110.                                         if (pixptr + count * px_inc > pixptr_end)

libavcodec/8bps.c:109:41: Binary operation: ([1, +oo] - [*avpkt->data + 2, 2+min(127, *avpkt->data)]):unsigned32
107.                                 if ((count = *dp++) <= 127) {
108.                                         count++;
109.                                         dlen -= count + 1;
                                             ^
110.                                         if (pixptr + count * px_inc > pixptr_end)
111.                                             break;
