The Checker Framework

Cur síos

Cuireann an Creat Checker le córas cineál Java. Ligeann sé seo d'fhorbróirí bogearraí earráidí cosúil le heisceachtaí pointeoir nialasach a bhrath agus a chosc, fo-iarsmaí neamhbheartaithe, instealltaí SQL, earráidí comhairgeadra, tástálacha comhionannais cearr, agus earráidí ama rite eile a fheictear le linn tástála nó sa réimse ina gcláir Java. Áirítear sa Chreat Seiceálaí breiseán tiomsaithe ("seiceálaithe") a aimsíonn fabhtanna nó a fhíoraíonn a n-éagmais. Ligeann sé duit freisin do chuid breiseán tiomsaitheoir féin a scríobh.