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

libavcodec/8bps.c:56:1: <LHS trace>
54. } EightBpsContext;
55. 
56. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
57.                         int *got_frame, AVPacket *avpkt)
58. {

libavcodec/8bps.c:56:1: Parameter `*avpkt->data`
54. } EightBpsContext;
55. 
56. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
57.                         int *got_frame, AVPacket *avpkt)
58. {

libavcodec/8bps.c:105:22: Assignment
103.                 if (ep - dp <= 1)
104.                     return AVERROR_INVALIDDATA;
105.                 if ((count = *dp++) <= 127) {
                          ^
106.                     count++;
107.                     dlen -= count + 1;

libavcodec/8bps.c:106:21: Assignment
104.                     return AVERROR_INVALIDDATA;
105.                 if ((count = *dp++) <= 127) {
106.                     count++;
                         ^
107.                     dlen -= count + 1;
108.                     if (pixptr_end - pixptr < count * px_inc)

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

libavcodec/8bps.c:56:1: <RHS trace>
54. } EightBpsContext;
55. 
56. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
57.                         int *got_frame, AVPacket *avpkt)
58. {

libavcodec/8bps.c:56:1: Parameter `*avpkt->data`
54. } EightBpsContext;
55. 
56. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
57.                         int *got_frame, AVPacket *avpkt)
58. {

libavcodec/8bps.c:105:22: Assignment
103.                 if (ep - dp <= 1)
104.                     return AVERROR_INVALIDDATA;
105.                 if ((count = *dp++) <= 127) {
                          ^
106.                     count++;
107.                     dlen -= count + 1;

libavcodec/8bps.c:106:21: Assignment
104.                     return AVERROR_INVALIDDATA;
105.                 if ((count = *dp++) <= 127) {
106.                     count++;
                         ^
107.                     dlen -= count + 1;
108.                     if (pixptr_end - pixptr < count * px_inc)

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