libavformat/gxfenc.c:195: error: Integer Overflow R2
  ([0, +oo] + 1):signed32.

libavformat/gxfenc.c:189:12: <LHS trace>
187.         starting_line = 23; // default PAL
188. 
189.     size = snprintf(buffer, 1024, "Ver 1\nBr %.6f\nIpg 1\nPpi %d\nBpiop %d\n"
                ^
190.                     "Pix 0\nCf %d\nCg %d\nSl %d\nnl16 %d\nVi 1\nf1 1\n",
191.                     (float)st->codec->bit_rate, sc->p_per_gop, sc->b_per_i_or_p,

libavformat/gxfenc.c:189:12: Risky value from: snprintf
187.         starting_line = 23; // default PAL
188. 
189.     size = snprintf(buffer, 1024, "Ver 1\nBr %.6f\nIpg 1\nPpi %d\nBpiop %d\n"
                ^
190.                     "Pix 0\nCf %d\nCg %d\nSl %d\nnl16 %d\nVi 1\nf1 1\n",
191.                     (float)st->codec->bit_rate, sc->p_per_gop, sc->b_per_i_or_p,

libavformat/gxfenc.c:189:5: Assignment
187.         starting_line = 23; // default PAL
188. 
189.     size = snprintf(buffer, 1024, "Ver 1\nBr %.6f\nIpg 1\nPpi %d\nBpiop %d\n"
         ^
190.                     "Pix 0\nCf %d\nCg %d\nSl %d\nnl16 %d\nVi 1\nf1 1\n",
191.                     (float)st->codec->bit_rate, sc->p_per_gop, sc->b_per_i_or_p,

libavformat/gxfenc.c:195:5: Binary operation: ([0, +oo] + 1):signed32
193.                     starting_line, (st->codec->height + 15) / 16);
194.     avio_w8(pb, TRACK_MPG_AUX);
195.     avio_w8(pb, size + 1);
         ^
196.     avio_write(pb, (uint8_t *)buffer, size + 1);
197.     return size + 3;
