Statická analýza kódu

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

Statická analýza kódu je analýza kódu SW bez spuštění programu, který lze z daného SW vybudovat. Provádí se na nějaké verzi zdrojového kódu a někdy na objektového kódu. Bývá spojeno s automatizovaným nástrojem a manuální lidské činnosti spočívající v porozumění, revize programu.

Propracovanost analýzy provedené pomocí nástrojů se liší. Od těch, které berou v úvahu pouze chování jednotlivých příkazů a definic, až k těm, které zpracují kompletní zdrojový kód programu při své analýze. Využití informací získaných z analýzy se liší od zdůraznění možných chyb v kódu, až k formálním metodám, které matematicky prokazují vlastnosti o daném programu (např. že jeho chování odpovídá specifikaci produktu).