libavformat/asfdec.c:163: error: Integer Overflow L2
  (2 × [`len`, min(2147483646, `len`)]):signed32.

libavformat/asfdec.c:156:1: <RHS trace>
154. }
155. 
156. static void get_tag(AVFormatContext *s, const char *key, int type, int len)
     ^
157. {
158.     char *value;

libavformat/asfdec.c:156:1: Parameter `len`
154. }
155. 
156. static void get_tag(AVFormatContext *s, const char *key, int type, int len)
     ^
157. {
158.     char *value;

libavformat/asfdec.c:163:13: Binary operation: (2 × [len, min(2147483646, len)]):signed32
161.         return;
162. 
163.     value = av_malloc(2*len+1);
                 ^
164.     if (!value)
165.         return;
