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

Мулюков Р.Р., Бородин А.Е. Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ. Труды Института системного программирования РАН. 2016;28(5):145-158. https://doi.org/10.15514/ISPRAS-2016-28(5)-9

For citation:

Mulyukov R.R., Borodin A.E. Using unreachable code analysis in static analysis tool for finding defects in source code. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(5):145-158. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(5)-9