Vulnerabilities Detection via Static Taint Analysisдоклад на конференции