libavcodec/dxa.c:275: error: Buffer Overrun L3
  Offset: [-8, 5] Size: 6 by call to `decode_13`.

libavcodec/dxa.c:238:39: Unknown value from: uncompress
236. 
237.     dsize = c->dsize;
238.     if((compr != 4 && compr != -1) && uncompress(c->decomp_buf, &dsize, buf + 9, buf_size - 9) != Z_OK){
                                           ^
239.         av_log(avctx, AV_LOG_ERROR, "Uncompress failed!\n");
240.         return AVERROR_UNKNOWN;

libavcodec/dxa.c:275:9: Call
273.         frame->key_frame = 0;
274.         frame->pict_type = AV_PICTURE_TYPE_P;
275.         decode_13(avctx, c, frame->data[0], frame->linesize[0], srcptr, c->prev.data[0]);
             ^
276.         break;
277.     default:

libavcodec/dxa.c:51:1: <Offset trace>
49. static const int shift2[6] = { 0, 0, 8, 4, 0, 4 };
50. 
51. static int decode_13(AVCodecContext *avctx, DxaDecContext *c, uint8_t* dst,
    ^
52.                      int stride, uint8_t *src, uint8_t *ref)
53. {

libavcodec/dxa.c:51:1: Parameter `*src`
  49. static const int shift2[6] = { 0, 0, 8, 4, 0, 4 };
  50. 
  51. static int decode_13(AVCodecContext *avctx, DxaDecContext *c, uint8_t* dst,
      ^
  52.                      int stride, uint8_t *src, uint8_t *ref)
  53. {

libavcodec/dxa.c:68:13: Assignment
  66.             tmp  = dst + i;
  67.             tmp2 = ref + i;
  68.             type = *code++;
                  ^
  69.             switch(type){
  70.             case 4: // motion compensation

libavcodec/dxa.c:93:21: Assignment
  91.                     msk += 2;
  92.                 }else{
  93.                     type -= 10;
                          ^
  94.                     mask = ((msk[0] & 0xF0) << shift1[type]) | ((msk[0] & 0xF) << shift2[type]);
  95.                     msk++;

libavcodec/dxa.c:48:1: <Length trace>
46. } DxaDecContext;
47. 
48. static const int shift1[6] = { 0, 8, 8, 8, 4, 4 };
    ^
49. static const int shift2[6] = { 0, 0, 8, 4, 0, 4 };
50. 

libavcodec/dxa.c:48:1: Array declaration
  46. } DxaDecContext;
  47. 
  48. static const int shift1[6] = { 0, 8, 8, 8, 4, 4 };
      ^
  49. static const int shift2[6] = { 0, 0, 8, 4, 0, 4 };
  50. 

libavcodec/dxa.c:94:48: Array access: Offset: [-8, 5] Size: 6 by call to `decode_13` 
  92.                 }else{
  93.                     type -= 10;
  94.                     mask = ((msk[0] & 0xF0) << shift1[type]) | ((msk[0] & 0xF) << shift2[type]);
                                                     ^
  95.                     msk++;
  96.                 }
