Known Vulnerabilities in VeriStand