ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / Java2 είναι μια εκτεταμένη Στατική Checker για Java. Είναι αυτόματα ανιχνεύει στατικά, και αρθρωτής κοινά λάθη προγραμματισμού. Λόγους ESC / Java2 σχετικά με τα προγράμματα Java που έχουν (προαιρετικό) σχολιασμούς γραμμένο σε JML Τι είναι...