Hledat
Zobrazují se záznamy 1-1 z 1
Static data flow analysis for Java programs
Statická analýza datových toků pro programy v jazyce Java
Diplomová práce (OBHÁJENO)
Vedoucí práce: Zavoral, Filip
Datum publikování: 2019
Datum obhajoby: 16. 09. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis proposes a methodology for an acquisition of dependencies between outputs and inputs in Java programs by using static program analysis on bytecode of Java programs. JaBSSA methodology designed by the author is ...
Tato práce navrhuje metodologii JaBSSA určenou k ziskání zavislostí mezi vstu- py a výstupy Java programů za použití statické programové analýzy na byte- code Java programů. Metodologie JaBSSA je založená na konstrukci ...
Tato práce navrhuje metodologii JaBSSA určenou k ziskání zavislostí mezi vstu- py a výstupy Java programů za použití statické programové analýzy na byte- code Java programů. Metodologie JaBSSA je založená na konstrukci ...