Для цитирования:

Аветисян А., Бородин А. Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок. Труды Института системного программирования РАН. 2011;21.

For citation:

Avetisyan A., Borodin A. Mechanisms for extending the system of static analysis Svace by new types of detectors of vulnerabilities and critical errors. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2011;21. (In Russ.)