libavcodec/adpcm.c:196: error: Null Dereference
  pointer `avctx->coded_frame` last assigned on line 195 could be null and is dereferenced at line 196, column 5.

libavcodec/adpcm.c:157:1: start of procedure adpcm_encode_init()
155. 
156. #ifdef CONFIG_ENCODERS
157. static int adpcm_encode_init(AVCodecContext *avctx)
     ^
158. {
159.     if (avctx->channels > 2)

libavcodec/adpcm.c:159:9: Taking false branch
157. static int adpcm_encode_init(AVCodecContext *avctx)
158. {
159.     if (avctx->channels > 2)
             ^
160.         return -1; /* only stereo or mono =) */
161.     switch(avctx->codec->id) {

libavcodec/adpcm.c:161:5: 
159.     if (avctx->channels > 2)
160.         return -1; /* only stereo or mono =) */
161.     switch(avctx->codec->id) {
         ^
162.     case CODEC_ID_ADPCM_IMA_WAV:
163.         avctx->frame_size = (BLKSIZE - 4 * avctx->channels) * 8 / (4 * avctx->channels) + 1; /* each 16 bits sample gives one nibble */

libavcodec/adpcm.c:162:5: Switch condition is false. Skipping switch case
160.         return -1; /* only stereo or mono =) */
161.     switch(avctx->codec->id) {
162.     case CODEC_ID_ADPCM_IMA_WAV:
         ^
163.         avctx->frame_size = (BLKSIZE - 4 * avctx->channels) * 8 / (4 * avctx->channels) + 1; /* each 16 bits sample gives one nibble */
164.                                                              /* and we have 4 bytes per channel overhead */

libavcodec/adpcm.c:168:5: Switch condition is true. Entering switch case
166.         /* seems frame_size isn't taken into account... have to buffer the samples :-( */
167.         break;
168.     case CODEC_ID_ADPCM_IMA_QT:
         ^
169.         avctx->frame_size = 64;
170.         avctx->block_align = 34 * avctx->channels;

libavcodec/adpcm.c:169:9: 
167.         break;
168.     case CODEC_ID_ADPCM_IMA_QT:
169.         avctx->frame_size = 64;
             ^
170.         avctx->block_align = 34 * avctx->channels;
171.         break;

libavcodec/adpcm.c:170:9: 
168.     case CODEC_ID_ADPCM_IMA_QT:
169.         avctx->frame_size = 64;
170.         avctx->block_align = 34 * avctx->channels;
             ^
171.         break;
172.     case CODEC_ID_ADPCM_MS:

libavcodec/adpcm.c:195:5: 
193.     }
194. 
195.     avctx->coded_frame= avcodec_alloc_frame();
         ^
196.     avctx->coded_frame->key_frame= 1;
197. 

libavcodec/utils.c:831:1: start of procedure avcodec_alloc_frame()
  829. }
  830. 
  831. AVFrame *avcodec_alloc_frame(void){
       ^
  832.     AVFrame *pic= av_malloc(sizeof(AVFrame));
  833. 

libavcodec/utils.c:832:5: 
  830. 
  831. AVFrame *avcodec_alloc_frame(void){
  832.     AVFrame *pic= av_malloc(sizeof(AVFrame));
           ^
  833. 
  834.     if(pic==NULL) return NULL;

libavutil/mem.c:42:1: start of procedure av_malloc()
    40.    linker will do it automatically */
    41. 
    42. void *av_malloc(unsigned int size)
        ^
    43. {
    44.     void *ptr;

libavutil/mem.c:50:8: Taking false branch
    48. 
    49.     /* let's disallow possible ambiguous cases */
    50.     if(size > (INT_MAX-16) )
               ^
    51.         return NULL;
    52. 

libavutil/mem.c:61:5: Skipping memalign(): method has no implementation
    59.     ((char*)ptr)[-1]= diff;
    60. #elif defined (HAVE_MEMALIGN)
    61.     ptr = memalign(16,size);
            ^
    62.     /* Why 64?
    63.        Indeed, we should align it:

libavutil/mem.c:91:5: 
    89.     ptr = malloc(size);
    90. #endif
    91.     return ptr;
            ^
    92. }
    93. 

libavutil/mem.c:92:1: return from a call to av_malloc
    90. #endif
    91.     return ptr;
    92. }
        ^
    93. 
    94. void *av_realloc(void *ptr, unsigned int size)

libavcodec/utils.c:834:8: Taking true branch
  832.     AVFrame *pic= av_malloc(sizeof(AVFrame));
  833. 
  834.     if(pic==NULL) return NULL;
              ^
  835. 
  836.     avcodec_get_frame_defaults(pic);

libavcodec/utils.c:834:19: 
  832.     AVFrame *pic= av_malloc(sizeof(AVFrame));
  833. 
  834.     if(pic==NULL) return NULL;
                         ^
  835. 
  836.     avcodec_get_frame_defaults(pic);

libavcodec/utils.c:839:1: return from a call to avcodec_alloc_frame
  837. 
  838.     return pic;
  839. }
       ^
  840. 
  841. int attribute_align_arg avcodec_open(AVCodecContext *avctx, AVCodec *codec)

libavcodec/adpcm.c:196:5: 
194. 
195.     avctx->coded_frame= avcodec_alloc_frame();
196.     avctx->coded_frame->key_frame= 1;
         ^
197. 
198.     return 0;

static int adpcm_encode_init(AVCodecContext *avctx)
{
    if (avctx->channels > 2)
        return -1;
    switch(avctx->codec->id) {
    case CODEC_ID_ADPCM_IMA_WAV:
        avctx->frame_size = (BLKSIZE - 4 * avctx->channels) * 8 / (4 * avctx->channels) + 1;
        avctx->block_align = BLKSIZE;
        break;
    case CODEC_ID_ADPCM_IMA_QT:
        avctx->frame_size = 64;
        avctx->block_align = 34 * avctx->channels;
        break;
    case CODEC_ID_ADPCM_MS:
        avctx->frame_size = (BLKSIZE - 7 * avctx->channels) * 2 / avctx->channels + 2;
        avctx->block_align = BLKSIZE;
        break;
    case CODEC_ID_ADPCM_YAMAHA:
        avctx->frame_size = BLKSIZE * avctx->channels;
        avctx->block_align = BLKSIZE;
        break;
    case CODEC_ID_ADPCM_SWF:
        if (avctx->sample_rate != 11025 &&
            avctx->sample_rate != 22050 &&
            avctx->sample_rate != 44100) {
            av_log(avctx, AV_LOG_ERROR, "Sample rate must be 11025, 22050 or 44100\n");
            return -1;
        }
        avctx->frame_size = 512 * (avctx->sample_rate / 11025);
        break;
    default:
        return -1;
        break;
    }
    avctx->coded_frame= avcodec_alloc_frame();
    avctx->coded_frame->key_frame= 1;
    return 0;
}
['static int adpcm_encode_init(AVCodecContext *avctx)\n{\n    if (avctx->channels > 2)\n        return -1;\n    switch(avctx->codec->id) {\n    case CODEC_ID_ADPCM_IMA_WAV:\n        avctx->frame_size = (BLKSIZE - 4 * avctx->channels) * 8 / (4 * avctx->channels) + 1;\n        avctx->block_align = BLKSIZE;\n        break;\n    case CODEC_ID_ADPCM_IMA_QT:\n        avctx->frame_size = 64;\n        avctx->block_align = 34 * avctx->channels;\n        break;\n    case CODEC_ID_ADPCM_MS:\n        avctx->frame_size = (BLKSIZE - 7 * avctx->channels) * 2 / avctx->channels + 2;\n        avctx->block_align = BLKSIZE;\n        break;\n    case CODEC_ID_ADPCM_YAMAHA:\n        avctx->frame_size = BLKSIZE * avctx->channels;\n        avctx->block_align = BLKSIZE;\n        break;\n    case CODEC_ID_ADPCM_SWF:\n        if (avctx->sample_rate != 11025 &&\n            avctx->sample_rate != 22050 &&\n            avctx->sample_rate != 44100) {\n            av_log(avctx, AV_LOG_ERROR, "Sample rate must be 11025, 22050 or 44100\\n");\n            return -1;\n        }\n        avctx->frame_size = 512 * (avctx->sample_rate / 11025);\n        break;\n    default:\n        return -1;\n        break;\n    }\n    avctx->coded_frame= avcodec_alloc_frame();\n    avctx->coded_frame->key_frame= 1;\n    return 0;\n}', 'AVFrame *avcodec_alloc_frame(void){\n    AVFrame *pic= av_malloc(sizeof(AVFrame));\n    if(pic==NULL) return NULL;\n    avcodec_get_frame_defaults(pic);\n    return pic;\n}', 'void *av_malloc(unsigned int size)\n{\n    void *ptr;\n#ifdef CONFIG_MEMALIGN_HACK\n    long diff;\n#endif\n    if(size > (INT_MAX-16) )\n        return NULL;\n#ifdef CONFIG_MEMALIGN_HACK\n    ptr = malloc(size+16);\n    if(!ptr)\n        return ptr;\n    diff= ((-(long)ptr - 1)&15) + 1;\n    ptr = (char*)ptr + diff;\n    ((char*)ptr)[-1]= diff;\n#elif defined (HAVE_MEMALIGN)\n    ptr = memalign(16,size);\n#else\n    ptr = malloc(size);\n#endif\n    return ptr;\n}']