Static Analysis Usage for Customizable Semantic Checks of C and C++ Programming Languages Constraints. - Valery Ignatyev (ICST Workshops, 2014)

Comparative Analysis of Two Approaches to Static Taint Analysis. - M. V. Belyaev; N. V. Shimchik; V. N. Ignatyev; A. A. Belevantsev (Program. Comput. Softw., 2018)