Анализ межпроцедурный контекстно-чувствительный

Анализ cтатический, при котором выполняется совместный анализ программы или нескольких программ, состоящих из нескольких модулей программных, и выявляемые свойства программы затрагивают процедуры или переменные из различных модулей. Примечание. В ходе анализа учитывается контекст вызова процедуры при обработке ее вызова, т. е. сопоставляется информация из вызывающей и вызываемой процедур применительно к каждому месту вызова и его окружению: фактическим параметрам, состоянию переменных глобальных и т. п. [ ГОСТ Р 71207-2024 ].