The Checker Framework 1.6.4
Die Raamwerk Checker verhoog Java se tipe stelsel. Dit laat die sagteware-ontwikkelaars te spoor en foute soos null pointer uitsonderings, onbedoelde newe-effekte, SQL inspuitings, concurrency foute, verkeerde gelykheid toetse en ander run-time foute wat...