SofCheck Επιθεωρητής είναι ένα στατικό εργαλείο ανάλυσης που ανακαλύπτει λάθη στα bytecodes Java. Χρησιμοποιεί στατικό έλεγχο ροής, της ροής πληροφοριών, και την πιθανή αξία σετ διάδοσης (PVP) τεχνικές για την αναγνώριση των χώρων στους οποίους υπάρχει...