Statyczna analiza programu to analiza oprogramowania komputerowego, która jest wykonywana bez faktycznego wykonywania programów, w przeciwieństwie do , która jest analizą wykonywaną na programach podczas ich wykonywania. W większości przypadków analiza jest przeprowadzana na pewnej wersji kodu źródłowego, a w innych przypadkach na pewnej formie kodu obiektowego.
Termin ten jest zwykle stosowany do analizy wykonywanej przez zautomatyzowane narzędzie, natomiast analiza przez człowieka nazywana jest inspekcją lub przeglądem kodu. Przykładem takich narzędzi są różnego rodzaju lintery do kodu.
Rodzaje narzędzi OMG (Object Management Group) opublikowało badanie dotyczące rodzajów analizy oprogramowania wymaganej do pomiaru i oceny jakości oprogramowania. W dokumencie „Jak zapewnić odporne, bezpieczne, wydajne i łatwe do zmiany systemy informatyczne zgodnie z zaleceniami ” opisano trzy poziomy analizy oprogramowania.