Procesul de evaluare un program fără a executa programul. a se vedea, de asemenea, Biroul de verificare, codul de audit, inspecţie, analizor de statică şi plimbare prin. Analiza contrast cu dinamică.