Methods and software tools to support combined binary code analysis. - Vartan A. Padaryan; Alexander I. Getman; M. A. Solov'ev; M. G. Bakulin; A. I. Borzilov; V. V. Kaushan; I. N. Ledovskikh; Yu. V. Markin; S. S. Panasenko (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)