Initial parsing of PVS Vulnerability Information