Irbis: static taint analysis for vulnerabilities detection in C/C++доклад на конференции