įtvaras yra už statiškai tikrinti C programas saugumo spragų ir programavimo klaidų priemonė.
Įtvaras daro daugelį tradicinių Lint patikrinimus, įskaitant nepanaudotų deklaracijų, tipo neatitikimų, naudoti prieš apibrėžimą, nepasiekiamą kodą, ignoruojamos grąžinimo vertybes, vykdymo takais su ne grįžti, tikėtina, begalinis kilpos, ir rudenį per atvejais.
Galingesni patikrinimai tapo įmanoma pateiktą šaltinis kodų anotacijos papildomos informacijos. Komentarai yra stilizuoti komentarus, kurie dokumentas prielaidas apie funkcijas, kintamuosius, parametrų ir rūšių.
Be patikrinimų specialiai sukurti naudojamasi ženklų, daugelis tradicinių Lint patikrinimus būtų pagerintos panaudojant šią papildomą informaciją.
Kadangi vis daugiau pastangų įdėti į anotuoti programas, geriau patikrinimo rezultatus. Reprezentacinės pastangų naudos kreivė naudojant įtvaras yra pavaizduota 1 paveiksle.
Įtvaras yra sukurta siekiant būti lankstus ir leidžia programuotojams pasirinkti tinkamus taškus pastangų naudos kreivė konkretiems projektams.
Kadangi skirtingi patikrinimai įjungtas ir daugiau informacijos pateikta kodas anotacijos apie klaidas, kurios gali būti aptiktos didėja dramatiškai skaičių.
Aptiktų įtvaras problemos apima:
Komentarai nerastas