Новый подход к построению методов межпроцедурного анализа программстатья