other vulnerabilities and program verification 5471582