Splint

Splint 3.1.1

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...