The Checker Framework

Lýsing

Checker Framework eykur tegundakerfi Java. Þetta gerir hugbúnaðarhönnuðum kleift að greina og koma í veg fyrir villur eins og undantekningar á núllbendingu, óviljandi aukaverkanir, SQL innspýtingar, samhliða villur, rangar jafnréttisprófanir og aðrar keyrsluvillur sem birtast við prófun eða á sviði í Java forritum þeirra. Checker Framework inniheldur þýðandaviðbætur ("afgreiðslumenn") sem finna villur eða staðfesta fjarveru þeirra. Það gerir þér einnig kleift að skrifa eigin þýðandaviðbætur.