A report of all vulnerable machines to be produced with a query such as: spexec_vuln_status{status!="OK"}