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