Внутри́процеду́рный ана́лиз програ́мм, анализ программ, который рассматривает каждую процедуру программы по отдельности. Конкретные условия вызова анализируемой процедуры (фактические параметры, состояние глобальных переменных), как правило, предполагаются произвольными. Вызовы других процедур из анализируемой обычно обрабатываются консервативно, т. е. считается, что они могут изменить доступную им память – глобальные переменные и ячейки памяти, достижимые по переданным в процедуру указателям. Большинство разработанных методов анализа и оптимизации программ являются внутрипроцедурными. Исторически внутрипроцедурные методы анализа программ также назывались глобальными (т. е. обрабатывающими всю процедуру) в противоположность локальным, обрабатывающим отдельно каждый базовый блок процедуры.

См. также Межпроцедурный анализ программ.