Splint egy eszköz statikailag ellenőrzésére C programok biztonsági réseket és a programozási hibákat.
Sín nem sok a hagyományos szösz ellenőrzéseket, beleértve a nem használt nyilatkozatok, írja következetlenségek, használat előtt meghatározása, elérhetetlen kódot, figyelmen kívül visszatérési értékek, a kivitelezés utak nincs visszaút, valószínűleg végtelen hurkok, és esik át az esetekben.
Erősebb ellenőrzések által lehetővé tett további információt megadott forráskód kommentárokat. Magyarázatok a stilizált megjegyzéseket, hogy a dokumentum feltételezéseket funkciók, változók, paraméterek és típusok.
Amellett, hogy az ellenőrzések kifejezetten engedélyeznie magyarázatokat, számos hagyományos szösz ellenőrzéseket javítani kihasználásával további információkat.
Ahogy egyre több erőfeszítéseket tesznek a magyarázó programokat, jobb ellenőrzés eredményeit. A reprezentációs erőkifejtés-haszon görbe segítségével Splint látható az 1. ábrán.
Sín tervezték, hogy rugalmas, és lehetővé teszi a programozók, hogy kiválassza a megfelelő pontokat az erőfeszítés-haszon görbe egyes projektek.
Mivel a különböző ellenőrzések vannak kapcsolva, és több információ található kódot kommentárokat a hibák száma, amelyet érzékelni lehet megnő.
Feltárt problémák Splint tartalmazza:
Hozzászólás nem található