Splint is een hulpmiddel voor het statisch controleren C's voor beveiligingsproblemen en programmering fouten.
Splint doet veel van de traditionele lint controles waaronder ongebruikte verklaringen, soort tegenstrijdigheden, gebruik vóór definitie onbereikbaar code, genegeerd return waarden, uitvoering paden met no return, waarschijnlijk oneindige loops en vallen door gevallen.
Meer krachtige controles worden mogelijk gemaakt door aanvullende informatie gegeven in de broncode annotaties. Annotaties zijn gestileerde opmerkingen dat document veronderstellingen over functies, variabelen, parameters en types.
Naast het controleren, met name ingeschakeld annotaties, veel traditionele pluizen controles worden verbeterd door deze aanvullende informatie benutten.
Naarmate er meer inspanning in annoteren programma's, betere resultaten controle wordt gebracht. Een representatieve inspanning en baten curve voor gebruik spalk is weergegeven in figuur 1.
Splint is ontworpen om flexibel te zijn en laat programmeurs om passende punten op de inspanning-baten curve voor bepaalde projecten te selecteren.
Aangezien verschillende controles worden ingeschakeld en meer informatie wordt gegeven in de code annotaties het aantal bugs die drastisch kan worden gedetecteerd toeneemt.
Problemen gedetecteerd door Splint zijn:
Reacties niet gevonden