libavcodec/flashsvenc.c:144: error: Null Dereference
  pointer `&pb->buf_ptr` last assigned on line 139 could be null and is dereferenced by call to `put_bits()` at line 144, column 5.

libavcodec/flashsvenc.c:131:1: start of procedure encode_bitstream()
129. 
130. 
131. static int encode_bitstream(FlashSVContext *s, AVFrame *p, uint8_t *buf, int buf_size,
     ^
132.      int block_width, int block_height, uint8_t *previous_frame, int* I_frame) {
133. 

libavcodec/flashsvenc.c:137:5: 
135.     int h_blocks, v_blocks, h_part, v_part, i, j;
136.     int buf_pos, res;
137.     int pred_blocks = 0;
         ^
138. 
139.     init_put_bits(&pb, buf, buf_size*8);

libavcodec/flashsvenc.c:139:5: 
137.     int pred_blocks = 0;
138. 
139.     init_put_bits(&pb, buf, buf_size*8);
         ^
140. 
141.     put_bits(&pb, 4, (block_width/16)-1);

libavcodec/put_bits.h:60:1: start of procedure init_put_bits()
  58.  * @param buffer_size the size in bytes of buffer
  59.  */
  60. static inline void init_put_bits(PutBitContext *s, uint8_t *buffer, int buffer_size)
      ^
  61. {
  62.     if(buffer_size < 0) {

libavcodec/put_bits.h:62:8: Taking true branch
  60. static inline void init_put_bits(PutBitContext *s, uint8_t *buffer, int buffer_size)
  61. {
  62.     if(buffer_size < 0) {
             ^
  63.         buffer_size = 0;
  64.         buffer = NULL;

libavcodec/put_bits.h:63:9: 
  61. {
  62.     if(buffer_size < 0) {
  63.         buffer_size = 0;
              ^
  64.         buffer = NULL;
  65.     }

libavcodec/put_bits.h:64:9: 
  62.     if(buffer_size < 0) {
  63.         buffer_size = 0;
  64.         buffer = NULL;
              ^
  65.     }
  66. 

libavcodec/put_bits.h:67:5: 
  65.     }
  66. 
  67.     s->size_in_bits= 8*buffer_size;
          ^
  68.     s->buf = buffer;
  69.     s->buf_end = s->buf + buffer_size;

libavcodec/put_bits.h:68:5: 
  66. 
  67.     s->size_in_bits= 8*buffer_size;
  68.     s->buf = buffer;
          ^
  69.     s->buf_end = s->buf + buffer_size;
  70. #ifdef ALT_BITSTREAM_WRITER

libavcodec/put_bits.h:69:5: 
  67.     s->size_in_bits= 8*buffer_size;
  68.     s->buf = buffer;
  69.     s->buf_end = s->buf + buffer_size;
          ^
  70. #ifdef ALT_BITSTREAM_WRITER
  71.     s->index=0;

libavcodec/put_bits.h:75:5: 
  73. //    memset(buffer, 0, buffer_size);
  74. #else
  75.     s->buf_ptr = s->buf;
          ^
  76.     s->bit_left=32;
  77.     s->bit_buf=0;

libavcodec/put_bits.h:76:5: 
  74. #else
  75.     s->buf_ptr = s->buf;
  76.     s->bit_left=32;
          ^
  77.     s->bit_buf=0;
  78. #endif

libavcodec/put_bits.h:77:5: 
  75.     s->buf_ptr = s->buf;
  76.     s->bit_left=32;
  77.     s->bit_buf=0;
          ^
  78. #endif
  79. }

libavcodec/put_bits.h:79:1: return from a call to init_put_bits
  77.     s->bit_buf=0;
  78. #endif
  79. }
      ^
  80. 
  81. /**

libavcodec/flashsvenc.c:141:5: 
139.     init_put_bits(&pb, buf, buf_size*8);
140. 
141.     put_bits(&pb, 4, (block_width/16)-1);
         ^
142.     put_bits(&pb, 12, s->image_width);
143.     put_bits(&pb, 4, (block_height/16)-1);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/flashsvenc.c:142:5: 
140. 
141.     put_bits(&pb, 4, (block_width/16)-1);
142.     put_bits(&pb, 12, s->image_width);
         ^
143.     put_bits(&pb, 4, (block_height/16)-1);
144.     put_bits(&pb, 12, s->image_height);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/flashsvenc.c:143:5: 
141.     put_bits(&pb, 4, (block_width/16)-1);
142.     put_bits(&pb, 12, s->image_width);
143.     put_bits(&pb, 4, (block_height/16)-1);
         ^
144.     put_bits(&pb, 12, s->image_height);
145.     flush_put_bits(&pb);

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking true branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:179:9: 
  177. #else
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
               ^
  180.         bit_left-=n;
  181.     } else {

libavcodec/put_bits.h:180:9: 
  178.     if (n < bit_left) {
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;
               ^
  181.     } else {
  182.         bit_buf<<=bit_left;

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {

libavcodec/flashsvenc.c:144:5: 
142.     put_bits(&pb, 12, s->image_width);
143.     put_bits(&pb, 4, (block_height/16)-1);
144.     put_bits(&pb, 12, s->image_height);
         ^
145.     flush_put_bits(&pb);
146.     buf_pos=4;

libavcodec/put_bits.h:149:1: start of procedure put_bits()
  147.  * Use put_bits32 to write 32 bits.
  148.  */
  149. static inline void put_bits(PutBitContext *s, int n, unsigned int value)
       ^
  150. #ifndef ALT_BITSTREAM_WRITER
  151. {

libavcodec/put_bits.h:156:5: 
  154. 
  155.     //    printf("put_bits=%d %x\n", n, value);
  156.     assert(n <= 31 && value < (1U << n));
           ^
  157. 
  158.     bit_buf = s->bit_buf;

libavcodec/put_bits.h:158:5: 
  156.     assert(n <= 31 && value < (1U << n));
  157. 
  158.     bit_buf = s->bit_buf;
           ^
  159.     bit_left = s->bit_left;
  160. 

libavcodec/put_bits.h:159:5: 
  157. 
  158.     bit_buf = s->bit_buf;
  159.     bit_left = s->bit_left;
           ^
  160. 
  161.     //    printf("n=%d value=%x cnt=%d buf=%x\n", n, value, bit_cnt, bit_buf);

libavcodec/put_bits.h:178:9: Taking false branch
  176.     bit_left-=n;
  177. #else
  178.     if (n < bit_left) {
               ^
  179.         bit_buf = (bit_buf<<n) | value;
  180.         bit_left-=n;

libavcodec/put_bits.h:182:9: 
  180.         bit_left-=n;
  181.     } else {
  182.         bit_buf<<=bit_left;
               ^
  183.         bit_buf |= value >> (n - bit_left);
  184. #if !HAVE_FAST_UNALIGNED

libavcodec/put_bits.h:183:9: 
  181.     } else {
  182.         bit_buf<<=bit_left;
  183.         bit_buf |= value >> (n - bit_left);
               ^
  184. #if !HAVE_FAST_UNALIGNED
  185.         if (3 & (intptr_t) s->buf_ptr) {

libavcodec/put_bits.h:185:13: Taking false branch
  183.         bit_buf |= value >> (n - bit_left);
  184. #if !HAVE_FAST_UNALIGNED
  185.         if (3 & (intptr_t) s->buf_ptr) {
                   ^
  186.             AV_WB32(s->buf_ptr, bit_buf);
  187.         } else

libavcodec/put_bits.h:189:9: 
  187.         } else
  188. #endif
  189.         *(uint32_t *)s->buf_ptr = av_be2ne32(bit_buf);
               ^
  190.         //printf("bitbuf = %08x\n", bit_buf);
  191.         s->buf_ptr+=4;

libavutil/bswap.h:66:1: start of procedure av_bswap32()
    64. 
    65. #ifndef av_bswap32
    66. static av_always_inline av_const uint32_t av_bswap32(uint32_t x)
        ^
    67. {
    68.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);

libavutil/bswap.h:68:5: 
    66. static av_always_inline av_const uint32_t av_bswap32(uint32_t x)
    67. {
    68.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
            ^
    69.     x= (x>>16) | (x<<16);
    70.     return x;

libavutil/bswap.h:69:5: 
    67. {
    68.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    69.     x= (x>>16) | (x<<16);
            ^
    70.     return x;
    71. }

libavutil/bswap.h:70:5: 
    68.     x= ((x<<8)&0xFF00FF00) | ((x>>8)&0x00FF00FF);
    69.     x= (x>>16) | (x<<16);
    70.     return x;
            ^
    71. }
    72. #endif

libavutil/bswap.h:71:1: return from a call to av_bswap32
    69.     x= (x>>16) | (x<<16);
    70.     return x;
    71. }
        ^
    72. #endif
    73. 

libavcodec/put_bits.h:191:9: 
  189.         *(uint32_t *)s->buf_ptr = av_be2ne32(bit_buf);
  190.         //printf("bitbuf = %08x\n", bit_buf);
  191.         s->buf_ptr+=4;
               ^
  192.         bit_left+=32 - n;
  193.         bit_buf = value;

libavcodec/put_bits.h:192:9: 
  190.         //printf("bitbuf = %08x\n", bit_buf);
  191.         s->buf_ptr+=4;
  192.         bit_left+=32 - n;
               ^
  193.         bit_buf = value;
  194.     }

libavcodec/put_bits.h:193:9: 
  191.         s->buf_ptr+=4;
  192.         bit_left+=32 - n;
  193.         bit_buf = value;
               ^
  194.     }
  195. #endif

libavcodec/put_bits.h:197:5: 
  195. #endif
  196. 
  197.     s->bit_buf = bit_buf;
           ^
  198.     s->bit_left = bit_left;
  199. }

libavcodec/put_bits.h:198:5: 
  196. 
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
           ^
  199. }
  200. #else  /* ALT_BITSTREAM_WRITER defined */

libavcodec/put_bits.h:199:1: return from a call to put_bits
  197.     s->bit_buf = bit_buf;
  198.     s->bit_left = bit_left;
  199. }
       ^
  200. #else  /* ALT_BITSTREAM_WRITER defined */
  201. {
