Splint 3.1.1
įtvaras yra už statiškai tikrinti C programas saugumo spragų ir programavimo klaidų priemonė.Įtvaras daro daugelį tradicinių Lint patikrinimus, įskaitant nepanaudotų deklaracijų, tipo neatitikimų, naudoti prieš apibrėžimą, nepasiekiamą kodą, ignoruojamos...