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