SofCheck inspektorius yra statinis analizės įrankis, kad atranda klaidų Java bytecodes. Jis naudoja statinį kontrolės srautą, duomenų srautą, ir įmanoma, vertę nustatyti dauginimas (PVP) metodus nustatyti vietas, kur galėtų atsirasti vykdymo metu klaidų....