Splint

magsuot ng palapa ay isang kasangkapan para statically pagsuri C programa para sa mga kahinaan sa seguridad at mga pagkakamali programming.
Magsuot ng palapa ay marami sa mga tradisyunal na mga tseke lint kabilang hindi nagamit na mga pahayag, type inconsistencies, paggamit bago ng kahulugan, hindi maabot code, binalewala halaga return, pagpapatupad landas na walang bumalik, malamang walang katapusang loop, at mahulog sa pamamagitan ng mga kaso.
Mas malakas na mga tseke ay ginawa posible sa pamamagitan ng mga karagdagang impormasyon na ibinigay sa mga annotation ng source code. Mga Anotasyon ay inilarawan sa mga komento na pagpapalagay dokumento tungkol sa mga pag-andar, variable, parameters at uri.
Bilang karagdagan sa mga tseke na partikular enable sa pamamagitan ng annotation, marami sa mga tradisyunal na mga tseke lint ay pinabuting sa pamamagitan ng pagsasamantala sa mga karagdagang impormasyon.
Bilang mas maraming mga pagsisikap ay ilagay sa annotating programs, mas mahusay na mga resulta ng check. A representational pagsisikap-pakinabang curve para sa paggamit ng magsuot ng palapa ay ipinapakita sa Figure 1.
Magsuot ng palapa ay idinisenyo upang maging flexible at pahintulutan programmer upang piliin ang naaangkop na mga puntos sa pagsisikap-pakinabang curve para sa mga partikular na proyekto.
Bilang ng iba't ibang mga tseke ay naka-on at higit pa ay ibinigay sa code na impormasyon ng mga anotasyon sa bilang ng mga bug na maaaring napansin nagdaragdag kapansin-pansing.
Problema sa nakita ng magsuot ng palapa ay kinabibilangan ng: