ESC έργου / Java2 Frontend αναλύει τον κώδικα της Java 1.4 πηγής και Java 1.5 bytecode σε ένα αφηρημένο συντακτικό δέντρο που μπορεί να χρησιμοποιηθεί για την Επέκταση στατικό έλεγχο.Η Εκτεταμένη Στατική Έλεγχος για έκδοση Java 2 (ESC / Java2) είναι ένα...

ESC/Java2

ESC/Java2 2.0 Beta 5

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