Statické ověření korektnosti vazeb aplikací třetích stran

Abstract

Mezi jeden z nejrozšířenějších staticky typovaných porgramovacích jazyků patří bezesporu Java. Trendem moderního programovaní je využití komponent třetích stran. Závislosti a sestavení často obsarává Apache Maven. Problém je však v slabé definici závislosti. Často pak dochází k nekompatibilitám a pádům za běhu aplikace. Tato práce využívá statické analýzy byte kódu k odhalení nekompatibilit v systému. V podobě Maven plugin lze snadno zaintegrovat do vývojového procesu a preventivné předejí problémům spojených s nekompatibilitou komponent.