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