Static analyzer Svace for finding defects in a source program code. - V. P. Ivannikov; A. A. Belevantsev; Alexey E. Borodin; V. N. Ignatiev; D. M. Zhurikhin; Arutyun Avetisyan (Program. Comput. Softw., 2014)

SharpChecker: Static analysis tool for C# programs. - V. K. Koshelev; V. N. Ignatiev; A. I. Borzilov; A. A. Belevantsev (Program. Comput. Softw., 2017)