Proces kontroly kódu pro shodu pokynů designu. Analýza přesahuje kompilace hledat společné kódování a chyby designu stanovený soubor pokynů.