Interprocedural taint analysis for LLVM-bitcode. - V. K. Koshelev; A. O. Izbyshev; I. A. Dudina (Program. Comput. Softw., 2015)

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