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