Statická analýza kódu: Porovnání verzí

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

 

Propracovanosti analýzy provedené pomocí nástrojů se různí od těch, které berou v úvahu pouze chování jednotlivých výroků a definic, k těm, které zahrnují kompletní zdrojový kód programu v jejich 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í metody, které matematicky prokazujou vlastnosti o daném programu (např. jeho chování odpovídá specifikace produktu).