2
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.
Stronie internetowej:
http://splint.org/Kategorie
Alternatywy dla Splint dla Web
4