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
    [15.1]

    Rapporteer Plaats commentaar