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

libavcodec/8bps.c:63:1: <LHS trace>
61.  *
62.  */
63. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
64.                         int *data_size, AVPacket *avpkt)
65. {

libavcodec/8bps.c:63:1: Parameter `*avpkt->data`
61.  *
62.  */
63. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
64.                         int *data_size, AVPacket *avpkt)
65. {

libavcodec/8bps.c:111:22: Assignment
109.                 if (dp + 1 >= buf + buf_size)
110.                     return -1;
111.                 if ((count = *dp++) <= 127) {
                          ^
112.                     count++;
113.                     dlen -= count + 1;

libavcodec/8bps.c:112:21: Assignment
110.                     return -1;
111.                 if ((count = *dp++) <= 127) {
112.                     count++;
                         ^
113.                     dlen -= count + 1;
114.                     if (pixptr + count * px_inc > pixptr_end)

libavcodec/8bps.c:113:21: Assignment
111.                 if ((count = *dp++) <= 127) {
112.                     count++;
113.                     dlen -= count + 1;
                         ^
114.                     if (pixptr + count * px_inc > pixptr_end)
115.                         break;

libavcodec/8bps.c:63:1: <RHS trace>
61.  *
62.  */
63. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
64.                         int *data_size, AVPacket *avpkt)
65. {

libavcodec/8bps.c:63:1: Parameter `*avpkt->data`
61.  *
62.  */
63. static int decode_frame(AVCodecContext *avctx, void *data,
    ^
64.                         int *data_size, AVPacket *avpkt)
65. {

libavcodec/8bps.c:111:22: Assignment
109.                 if (dp + 1 >= buf + buf_size)
110.                     return -1;
111.                 if ((count = *dp++) <= 127) {
                          ^
112.                     count++;
113.                     dlen -= count + 1;

libavcodec/8bps.c:112:21: Assignment
110.                     return -1;
111.                 if ((count = *dp++) <= 127) {
112.                     count++;
                         ^
113.                     dlen -= count + 1;
114.                     if (pixptr + count * px_inc > pixptr_end)

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