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