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

Using static symbolic execution to detect buffer overflows. - I. A. Dudina; A. A. Belevantsev (Program. Comput. Softw., 2017)

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection. - A. E. Borodin; I. A. Dudina (Program. Comput. Softw., 2021)