Noem drie niveaus van analyse waarop static analyzers gericht kunnen zijn
Controle van de broncode op basis van bekende foutpatronen
Controle op basis van door de gebruiker gedefinieerde foutpatronen
Assertion checking: controleren of gedurende het programmaverloop voldaan wordt aan de asserties die op bepaalde plaatsen in de programmacode zijn ingevoegd