code: public static String[] getInstalledCodecs() {
  		Set<String> names = new TreeSet<String>();
  
  		AVCodec codec = null;
  		while ((codec = av_codec_next(codec)) != null) {
  			String shortName = codec.name().getString();
  			String type = MediaType.byId(codec.type()).toString().substring(0, 1);
  			String longName = codec.long_name().getString();
  
  			names.add(String.format("%-17s [%s] %s", shortName, type, longName));
  		}
  
  		return names.toArray(new String[0]);
  	}
docs: Get all names of codecs that are compiled into FFmpeg.
  
  @return short codec names that the current FFmpeg version supports.