Splint

Splint

Splint to narzędzie do statycznego sprawdzania programów C pod kątem luk w zabezpieczeniach i błędów kodowania.Przy minimalnym wysiłku Splint może być używany jako lepsze włókna.
Splint to narzędzie do statycznego sprawdzania programów C pod kątem luk w zabezpieczeniach i błędów kodowania.Przy minimalnym wysiłku Splint może być używany jako lepszy kłaczek.Jeśli włożony zostanie dodatkowy wysiłek w dodawanie adnotacji do programów, Splint może przeprowadzić silniejsze sprawdzanie niż w przypadku dowolnego standardowego włókna.
splint

Stronie internetowej:

cechy

Kategorie

Alternatywy dla Splint'a dla wszystkich platform z licencją open source