2
Splint je nástroj pro statickou kontrolu bezpečnostních programů a chyb kódování.S minimálním úsilím může být Splint použit jako lepší chuchvalec.Pokud je investováno další úsilí přidávání anotací k programům, může Splint provádět silnější kontrolu, než jakou může provádět jakákoli standardní vlákna.
Webová stránka:
http://splint.org/Kategorie
