Процесс проверки кода на соответствие правилам разработки. Анализ кода выходит за рамки компиляции для поиска общих кодирования и ошибки дизайна определяется ряд руководящих принципов.