2
Splint je nástroj na statickú kontrolu bezpečnostných programov a chýb kódovania.S minimálnym úsilím môže byť Splint použitý ako lepšie chĺpky.Ak sa vynaloží ďalšie úsilie na pridanie anotácií k programom, môže Splint vykonať silnejšiu kontrolu, ako je možné pomocou štandardných vlákien.
WebSite:
http://splint.org/Vlastnosti
Kategórie
