avconv.c:2956: error: Integer Overflow R2
  ([0, +oo] + [0, +oo]):signed32 by call to `print_sdp`.

avconv.c:2870:30: Unknown value from: strerror
2868.             const char *errbuf_ptr = errbuf;
2869.             if (av_strerror(ret, errbuf, sizeof(errbuf)) < 0)
2870.                 errbuf_ptr = strerror(AVUNERROR(ret));
                                   ^
2871.             snprintf(error, sizeof(error), "Could not write header for output file #%d (incorrect codec parameters ?): %s", i, errbuf_ptr);
2872.             ret = AVERROR(EINVAL);

avconv.c:2956:9: Call
2954. 
2955.     if (want_sdp) {
2956.         print_sdp();
              ^
2957.     }
2958. 

avconv.c:2479:1: Parameter `sdp.strlen`
  2477. }
  2478. 
  2479. static void print_sdp(void)
        ^
  2480. {
  2481.     char sdp[2048];

avconv.c:2490:5: Call
  2488.         avc[i] = output_files[i]->ctx;
  2489. 
  2490.     av_sdp_create(avc, nb_output_files, sdp, sizeof(sdp));
            ^
  2491.     printf("SDP:\n%s\n", sdp);
  2492.     fflush(stdout);

libavformat/sdp.c:580:1: Parameter `buf->strlen`
    578. }
    579. 
    580. int av_sdp_create(AVFormatContext *ac[], int n_files, char *buf, int size)
         ^
    581. {
    582.     AVDictionaryEntry *title = av_dict_get(ac[0]->metadata, "title", NULL, 0);

libavformat/sdp.c:611:5: Call
    609.         }
    610.     }
    611.     sdp_write_header(buf, size, &s);
             ^
    612. 
    613.     dst[0] = 0;

libavformat/sdp.c:73:1: Parameter `buff->strlen`
      71. }
      72. 
      73. static void sdp_write_header(char *buff, int size, struct sdp_session_level *s)
          ^
      74. {
      75.     av_strlcatf(buff, size, "v=%d\r\n"

libavformat/sdp.c:75:5: Call
      73. static void sdp_write_header(char *buff, int size, struct sdp_session_level *s)
      74. {
      75.     av_strlcatf(buff, size, "v=%d\r\n"
              ^
      76.                             "o=- %d %d IN %s %s\r\n"
      77.                             "s=%s\r\n",

libavutil/avstring.c:82:1: <LHS trace>
80. }
81. 
82. size_t av_strlcatf(char *dst, size_t size, const char *fmt, ...)
    ^
83. {
84.     int len = strlen(dst);

libavutil/avstring.c:82:1: Parameter `size`
        80. }
        81. 
        82. size_t av_strlcatf(char *dst, size_t size, const char *fmt, ...)
            ^
        83. {
        84.     int len = strlen(dst);

libavutil/avstring.c:88:12: <RHS trace>
86. 
87.     va_start(vl, fmt);
88.     len += vsnprintf(dst + len, size > len ? size - len : 0, fmt, vl);
               ^
89.     va_end(vl);
90. 

libavutil/avstring.c:88:12: Risky value from: vsnprintf
        86. 
        87.     va_start(vl, fmt);
        88.     len += vsnprintf(dst + len, size > len ? size - len : 0, fmt, vl);
                       ^
        89.     va_end(vl);
        90. 

libavutil/avstring.c:88:5: Binary operation: ([0, +oo] + [0, +oo]):signed32 by call to `print_sdp` 
        86. 
        87.     va_start(vl, fmt);
        88.     len += vsnprintf(dst + len, size > len ? size - len : 0, fmt, vl);
                ^
        89.     va_end(vl);
        90. 
