In FFmpeg 4.1.3, there is a division by zero at adxwritetrailer in libavformat/rawenc.c.
"https://storage.googleapis.com/osv-test-cve-osv-conversion/osv-output/CVE-2019-13390.json"