Static Verification of Third-party Application Dependencies Correctness

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.Katedra informatiky a výpočetní technikyObhájenoOne of most commonly used statically typed programming language is Java. Modern trend in programming is to leverage of using third party components. These dependencies and build cycle can be managed by Apache Maven. The problem lies in very weak definition of component dependency. Then incompatibilities comes to the place very often and as a result of that the application falls during the runtime. This work uses static analysis of the byte-code to detect incompatibilities in the system. As a Maven plugin it is easy to integrate this tool to the development process and with that prevent problems during runtime because of incompatibility of components