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

ffmpeg.c:1582:13: Unknown value from: fprintf
1580.         if (!os->nb_streams) {
1581.             dump_format(output_files[i], i, output_files[i]->filename, 1);
1582.             fprintf(stderr, "Output file #%d does not contain any stream\n", i);
                  ^
1583.             av_exit(1);
1584.         }

ffmpeg.c:1999:9: Call
1997.     }
1998.     if (want_sdp) {
1999.         print_sdp(output_files, nb_output_files);
              ^
2000.     }
2001. 

ffmpeg.c:1482:1: Parameter `sdp.strlen`
  1480. }
  1481. 
  1482. static void print_sdp(AVFormatContext **avc, int n)
        ^
  1483. {
  1484.     char sdp[2048];

ffmpeg.c:1486:5: Call
  1484.     char sdp[2048];
  1485. 
  1486.     avf_sdp_create(avc, n, sdp, sizeof(sdp));
            ^
  1487.     printf("SDP:\n%s\n", sdp);
  1488.     fflush(stdout);

libavformat/sdp.c:257:1: Parameter `buff->strlen`
    255. }
    256. 
    257. int avf_sdp_create(AVFormatContext *ac[], int n_files, char *buff, int size)
         ^
    258. {
    259.     struct sdp_session_level s;

libavformat/sdp.c:278:5: Call
    276.         }
    277.     }
    278.     sdp_write_header(buff, size, &s);
             ^
    279. 
    280.     dst[0] = 0;

libavformat/sdp.c:57:1: Parameter `buff->strlen`
      55. }
      56. 
      57. static void sdp_write_header(char *buff, int size, struct sdp_session_level *s)
          ^
      58. {
      59.     av_strlcatf(buff, size, "v=%d\r\n"

libavformat/sdp.c:68:5: Call
      66.                             s->start_time, s->end_time,
      67.                             s->name[0] ? s->name : "No Name");
      68.     sdp_write_address(buff, size, s->dst_addr, s->ttl);
              ^
      69. }
      70. 

libavformat/sdp.c:46:1: Parameter `buff->strlen`
        44. };
        45. 
        46. static void sdp_write_address(char *buff, int size, const char *dest_addr, int ttl)
            ^
        47. {
        48.     if (dest_addr) {

libavformat/sdp.c:50:13: Call
        48.     if (dest_addr) {
        49.         if (ttl > 0) {
        50.             av_strlcatf(buff, size, "c=IN IP4 %s/%d\r\n", dest_addr, ttl);
                        ^
        51.         } else {
        52.             av_strlcatf(buff, size, "c=IN IP4 %s\r\n", dest_addr);

libavutil/string.c:68:1: <LHS trace>
66. }
67. 
68. size_t av_strlcatf(char *dst, size_t size, const char *fmt, ...)
    ^
69. {
70.     int len = strlen(dst);

libavutil/string.c:68:1: Parameter `size`
          66. }
          67. 
          68. size_t av_strlcatf(char *dst, size_t size, const char *fmt, ...)
              ^
          69. {
          70.     int len = strlen(dst);

libavutil/string.c:74:12: <RHS trace>
72. 
73.     va_start(vl, fmt);
74.     len += vsnprintf(dst + len, size > len ? size - len : 0, fmt, vl);
               ^
75.     va_end(vl);
76. 

libavutil/string.c:74:12: Risky value from: vsnprintf
          72. 
          73.     va_start(vl, fmt);
          74.     len += vsnprintf(dst + len, size > len ? size - len : 0, fmt, vl);
                         ^
          75.     va_end(vl);
          76. 

libavutil/string.c:74:5: Binary operation: ([0, +oo] + [0, +oo]):signed32 by call to `print_sdp` 
          72. 
          73.     va_start(vl, fmt);
          74.     len += vsnprintf(dst + len, size > len ? size - len : 0, fmt, vl);
                  ^
          75.     va_end(vl);
          76. 
