Computing, Telecommunication and Control Информатика, телекоммуникации и управление 2687-0517 22 Research on tools for automation of defects detection in program source code Исследование систем автоматизации обнаружения дефектов в исходном коде программ 0000-0003-0276-4517 36237396900 N-8983-2014 Vladimir M. Moiseev Mikhail mikhail.moiseev@gmail.com Tsesko Vadim Karpenko Anatoliy Peter the Great St.Petersburg Polytechnic University 10 10 2008 5 65 119 127

Taxonomy of defects in source code is proposed in this article. Comparative analysis of existing automated defects detection tools, based on static analysis of source code, and is carried out. Trends in the field of automated defects detection are presented.

 safety defects detection static analysis automation defects taxonomy program