libavcodec/vorbis_enc.c:911: error: Integer Overflow L2
  ([0, +oo] - 1):unsigned32 by call to `put_main_header`.

libavcodec/vorbis_enc.c:903:5: Call
901.     }
902. 
903.     create_vorbis_context(venc, avccontext);
         ^
904. 
905.     if (avccontext->flags & CODEC_FLAG_QSCALE)

libavcodec/vorbis_enc.c:362:5: Call
  360.     venc->win[1] = ff_vorbis_vwin[venc->log2_blocksize[1] - 6];
  361. 
  362.     ff_mdct_init(&venc->mdct[0], venc->log2_blocksize[0], 0);
           ^
  363.     ff_mdct_init(&venc->mdct[1], venc->log2_blocksize[1], 0);
  364. }

libavcodec/mdct.c:70:1: Parameter `*s->fft.tmp_buf`
    68.  * init MDCT or IMDCT computation.
    69.  */
    70. int ff_mdct_init(MDCTContext *s, int nbits, int inverse)
        ^
    71. {
    72.     int n, n4, i;

libavcodec/vorbis_enc.c:911:34: Call
909.     venc->quality *= venc->quality;
910. 
911.     avccontext->extradata_size = put_main_header(venc, (uint8_t**)&avccontext->extradata);
                                      ^
912. 
913.     avccontext->frame_size = 1 << (venc->log2_blocksize[0] - 1);

libavcodec/vorbis_enc.c:498:1: Parameter `venc->codebooks->ndimentions`
  496. }
  497. 
  498. static int put_main_header(vorbis_enc_context * venc, uint8_t ** out) {
       ^
  499.     int i;
  500.     PutBitContext pb;

libavcodec/vorbis_enc.c:548:9: Call
  546.     put_bits(&pb, 8, venc->ncodebooks - 1);
  547.     for (i = 0; i < venc->ncodebooks; i++)
  548.         put_codebook_header(&pb, &venc->codebooks[i]);
               ^
  549. 
  550.     // time domain, reserved, zero

libavcodec/vorbis_enc.c:376:1: Parameter `cb->ndimentions`
    374. }
    375. 
    376. static void put_codebook_header(PutBitContext * pb, vorbis_enc_codebook * cb) {
         ^
    377.     int i;
    378.     int ordered = 0;

libavcodec/vorbis_enc.c:418:19: Call
    416.     put_bits(pb, 4, cb->lookup);
    417.     if (cb->lookup) {
    418.         int tmp = cb_lookup_vals(cb->lookup, cb->ndimentions, cb->nentries);
                           ^
    419.         int bits = ilog(cb->quantlist[0]);
    420. 

libavcodec/vorbis_enc.c:135:1: Parameter `dimentions`
      133. }
      134. 
      135. static int cb_lookup_vals(int lookup, int dimentions, int entries) {
           ^
      136.     if      (lookup == 1) return ff_vorbis_nth_root(entries, dimentions);
      137.     else if (lookup == 2) return dimentions * entries;

libavcodec/vorbis_enc.c:136:34: Call
      134. 
      135. static int cb_lookup_vals(int lookup, int dimentions, int entries) {
      136.     if      (lookup == 1) return ff_vorbis_nth_root(entries, dimentions);
                                            ^
      137.     else if (lookup == 2) return dimentions * entries;
      138.     return 0;

libavcodec/vorbis.c:35:1: <LHS trace>
33. /* Helper functions */
34. 
35. unsigned int ff_vorbis_nth_root(unsigned int x, unsigned int n) {   // x^(1/n)
    ^
36.     unsigned int ret=0, i, j;
37. 

libavcodec/vorbis.c:35:1: Parameter `n`
        33. /* Helper functions */
        34. 
        35. unsigned int ff_vorbis_nth_root(unsigned int x, unsigned int n) {   // x^(1/n)
            ^
        36.     unsigned int ret=0, i, j;
        37. 

libavcodec/vorbis.c:40:23: Binary operation: ([0, +oo] - 1):unsigned32 by call to `put_main_header` 
        38.     do {
        39.         ++ret;
        40.         for(i=0,j=ret;i<n-1;i++) j*=ret;
                                  ^
        41.     } while (j<=x);
        42. 
