Η ανάλυση του πηγαίου ή αντικειμενικού κώδικα ενός προγράμματος χωρίς την εκτέλεση κώδικα. Συνήθως η ανάλυση έχει σχεδιαστεί για να ανιχνεύσει σφάλματα.