In FFmpeg 4.1.3, there is a division by zero at adx_write_trailer in libavformat/rawenc.c. This may be related to two NULL pointers passed as arguments at libavcodec/frame_thread_encoder.c. CREATE(Triage): {Link=https://nvd.nist.gov/vuln/detail/CVE-2019-13390 User=admin}