Splint

spalk is 'n instrument vir die beheer van staties C programme vir sekuriteit probleme en programmering foute.
Spalk doen baie van die tradisionele lint tjeks insluitend ongebruikte verklarings, tipe teenstrydighede, gebruik voordat definisie onbereikbaar kode, geïgnoreer terugkeer waardes, uitvoering paaie met geen terugkeer, waarskynlik oneindige lusse, en val deur die gevalle.
Meer kragtige tjeks word moontlik gemaak deur addisionele inligting in die bron-kode annotasies. Annotasies is gestileer kommentaar daardie dokument aannames oor funksies, veranderlikes, parameters en tipes.
In bykomend tot die tjeks spesifiek gestel word deur notas, baie van die tradisionele lint tjeks verbeter deur hierdie bykomende inligting te benut.
As meer moeite in die regmaak van programme, beter resultate nagaan geplaas word. A verteenwoordigende poging voordeel kurwe vir die gebruik van Spalk word in Figuur 1.
Spalk is ontwerp om buigsaam te wees en laat programmeerders toepaslike punte op die poging voordeel kurwe vir spesifieke projekte te kies.
As verskillende tjeks aangeskakel en meer inligting gegee in die kode annotaties die aantal foute wat dramaties kan opgespoor toeneem.
Probleme waargeneem deur spalk sluit in: