avprobe.c:565: error: Integer Overflow L2
  ([1, 128] - [0, 127]):unsigned64 by call to `av_get_codec_tag_string`.

avprobe.c:565:9: Call
563. 
564.         /* print AVI/FourCC tag */
565.         av_get_codec_tag_string(val_str, sizeof(val_str), dec_ctx->codec_tag);
             ^
566.         probe_str("codec_tag_string", val_str);
567.         probe_str("codec_tag", tag_string(val_str, sizeof(val_str),

libavcodec/utils.c:1492:1: <LHS trace>
1490. }
1491. 
1492. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
      ^
1493. {
1494.     int i, len, ret = 0;

libavcodec/utils.c:1492:1: Parameter `buf_size`
  1490. }
  1491. 
  1492. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
        ^
  1493. {
  1494.     int i, len, ret = 0;

libavcodec/utils.c:1492:1: <RHS trace>
1490. }
1491. 
1492. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
      ^
1493. {
1494.     int i, len, ret = 0;

libavcodec/utils.c:1492:1: Parameter `buf_size`
  1490. }
  1491. 
  1492. size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
        ^
  1493. {
  1494.     int i, len, ret = 0;

libavcodec/utils.c:1500:21: Binary operation: ([1, 128] - [0, 127]):unsigned64 by call to `av_get_codec_tag_string` 
  1498.                        isprint(codec_tag&0xFF) ? "%c" : "[%d]", codec_tag&0xFF);
  1499.         buf      += len;
  1500.         buf_size  = buf_size > len ? buf_size - len : 0;
                            ^
  1501.         ret      += len;
  1502.         codec_tag>>=8;

size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)
{
    int i, len, ret = 0;
    for (i = 0; i < 4; i++) {
        len = snprintf(buf, buf_size,
                       isprint(codec_tag&0xFF) ? "%c" : "[%d]", codec_tag&0xFF);
        buf      += len;
        buf_size  = buf_size > len ? buf_size - len : 0;
        ret      += len;
        codec_tag>>=8;
    }
    return ret;
}
['static void show_stream(AVFormatContext *fmt_ctx, int stream_idx)\n{\n    AVStream *stream = fmt_ctx->streams[stream_idx];\n    AVCodecContext *dec_ctx;\n    AVCodec *dec;\n    const char *profile;\n    char val_str[128];\n    AVRational display_aspect_ratio;\n    probe_object_header("stream");\n    probe_int("index", stream->index);\n    if ((dec_ctx = stream->codec)) {\n        if ((dec = dec_ctx->codec)) {\n            probe_str("codec_name", dec->name);\n            probe_str("codec_long_name", dec->long_name);\n        } else {\n            probe_str("codec_name", "unknown");\n        }\n        probe_str("codec_type", media_type_string(dec_ctx->codec_type));\n        probe_str("codec_time_base",\n                  rational_string(val_str, sizeof(val_str),\n                                  "/", &dec_ctx->time_base));\n        av_get_codec_tag_string(val_str, sizeof(val_str), dec_ctx->codec_tag);\n        probe_str("codec_tag_string", val_str);\n        probe_str("codec_tag", tag_string(val_str, sizeof(val_str),\n                                          dec_ctx->codec_tag));\n        if (dec && (profile = av_get_profile_name(dec, dec_ctx->profile)))\n            probe_str("profile", profile);\n        switch (dec_ctx->codec_type) {\n        case AVMEDIA_TYPE_VIDEO:\n            probe_int("width", dec_ctx->width);\n            probe_int("height", dec_ctx->height);\n            probe_int("has_b_frames", dec_ctx->has_b_frames);\n            if (dec_ctx->sample_aspect_ratio.num) {\n                probe_str("sample_aspect_ratio",\n                          rational_string(val_str, sizeof(val_str), ":",\n                          &dec_ctx->sample_aspect_ratio));\n                av_reduce(&display_aspect_ratio.num, &display_aspect_ratio.den,\n                          dec_ctx->width  * dec_ctx->sample_aspect_ratio.num,\n                          dec_ctx->height * dec_ctx->sample_aspect_ratio.den,\n                          1024*1024);\n                probe_str("display_aspect_ratio",\n                          rational_string(val_str, sizeof(val_str), ":",\n                          &display_aspect_ratio));\n            }\n            probe_str("pix_fmt",\n                      dec_ctx->pix_fmt != PIX_FMT_NONE ? av_pix_fmt_descriptors[dec_ctx->pix_fmt].name\n                                                    : "unknown");\n            probe_int("level", dec_ctx->level);\n            break;\n        case AVMEDIA_TYPE_AUDIO:\n            probe_str("sample_rate",\n                      value_string(val_str, sizeof(val_str),\n                                   dec_ctx->sample_rate,\n                                   unit_hertz_str));\n            probe_int("channels", dec_ctx->channels);\n            probe_int("bits_per_sample",\n                      av_get_bits_per_sample(dec_ctx->codec_id));\n            break;\n        }\n    } else {\n        probe_str("codec_type", "unknown");\n    }\n    if (fmt_ctx->iformat->flags & AVFMT_SHOW_IDS)\n        probe_int("id", stream->id);\n    probe_str("r_frame_rate",\n              rational_string(val_str, sizeof(val_str), "/",\n              &stream->r_frame_rate));\n    probe_str("avg_frame_rate",\n              rational_string(val_str, sizeof(val_str), "/",\n              &stream->avg_frame_rate));\n    probe_str("time_base",\n              rational_string(val_str, sizeof(val_str), "/",\n              &stream->time_base));\n    probe_str("start_time",\n              time_value_string(val_str, sizeof(val_str),\n                                stream->start_time, &stream->time_base));\n    probe_str("duration",\n              time_value_string(val_str, sizeof(val_str),\n                                stream->duration, &stream->time_base));\n    if (stream->nb_frames)\n        probe_int("nb_frames", stream->nb_frames);\n    probe_dict(stream->metadata, "tags");\n    probe_object_footer("stream");\n}', 'size_t av_get_codec_tag_string(char *buf, size_t buf_size, unsigned int codec_tag)\n{\n    int i, len, ret = 0;\n    for (i = 0; i < 4; i++) {\n        len = snprintf(buf, buf_size,\n                       isprint(codec_tag&0xFF) ? "%c" : "[%d]", codec_tag&0xFF);\n        buf      += len;\n        buf_size  = buf_size > len ? buf_size - len : 0;\n        ret      += len;\n        codec_tag>>=8;\n    }\n    return ret;\n}']