- Hlavní stránka
- David Evans
- Vývojářské nástroje
- Ladění software
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...