Ma na celu uzupełnienie brakujących licencji, sprawdzenie błędów występujących w programie, podejmowanych na nim działań i wykorzystywanych obszarów pamięci.