Using the community feed on 7.03 a scan on a fully patched Windows 2016 server is reporting KB4512517 as missing while it is actually installed.
Fixed file version is 11.0.14393.3143 according to https://download.microsoft.com/download/d/b/6/db6d4cde-c288-4ad4-8ada-a373cda188a3/4512517.csv
Scan result is:
Summary This host is missing a critical security update according to Microsoft KB4512517 Vulnerability Detection Result Vulnerable range: 11.0.14393.0 - 11.0.14393.3143 File checked: C:\Windows\system32\Edgehtml.dll File version: 11.0.14393.3143
Is this a bug?