Analýza zdrojového a objektového kódu programu bez provádění kódu. Obvykle analýza je navržen tak, aby zjišťovala chyby.