Root has patched CVE-2018-20712 in the rootio-binutils package for Root:Debian:12. Multiple fixed versions available.
{ "distro": "debian", "source": "Root", "distro_version": "12" }
"2.40-2"
"https://api.root.io/external/osv/ROOT-OS-DEBIAN-12-CVE-2018-20712.json"
[ "2.40-2.root.io.20" ]
true
"root.io.20"
1.0