Lazy source code analysis for C/C++ languages - V. O. Savitsky; D. V. Sidorov (Труды Института системного программирования РАН, 2018)