SofCheck Inspector je nástroj, statická analýza, která zjistí chyby v Javě bytekódu. Využívá statické control-flow, toku dat a možné hodnotou set propagace (PVP) techniky pro identifikaci místa, kde by mohlo dojít čase chyby Běh. Tato automatizovaná...