dlaha je nástroj pro kontrolu staticky C programy bezpečnostních zranitelností a programovacích chyb.
Splint dělá mnoho z tradičních Lint kontrol včetně nevyužitých prohlášení, typu rozporů, použití Před definicí, nedosažitelný kód, ignorována návratových hodnot, realizace cest bez návratu, pravděpodobně nekonečné smyčky, a propadávání případech.
Silnější šeky jsou umožněny další informace uvedené ve zdrojovém kódu anotací. Anotace jsou stylizované komentáře, že předpoklady dokument o funkcích, proměnné, parametry a typy.
Kromě kontrol výslovně povolených podle anotacemi, mnoho z tradičních Lint kontrol se zlepší tím, že využívá tyto doplňující informace.
Jak více úsilí je dát do anotace programů, lepších výsledků kontroly. Reprezentační křivka úsilí, přínos pro používání dlahu je znázorněno na obrázku 1.
Dlaha je navržen tak, aby byl flexibilní a umožňuje programátorům zvolit příslušné body na křivce úsilí a přínosů pro jednotlivé projekty.
Protože různé kontroly jsou zapnuté a další informace jsou uvedeny v kódu anotací počet chyb, které mohou být detekovány zvyšuje dramaticky.
Problémy zjištěné dlahy patří:
Komentáře nebyl nalezen