Analýza rozsahu proměnných s využitím teorie grafů

Abstract

Tato práce se zabývá analýzou rozsahu proměnných za použití barvení grafu. Konkrétně je popsána teorie k barvení grafů a konstrukce grafu na barvení. Poté popisuje teorii za konstrukcí grafu toku řízení a grafu interference proměnných. Závěrem je popis vývoje a použití aplikace, která konstruuje a dá uživateli jako výstup tyto dva grafy, aby ukázala rozsah proměnných v kódu.

This thesis deals with analyzing the scope of variables using graph coloring. More concretely, it describes part of the theory for graph coloring and the construction of graphs for coloring. Then, it describes the theory behind building a control flow graph and how to build an interference graph from the control flow graph to use as visualization for variable scope. Finally, it describes the development and use of the resulting app, which builds and shows, as an output, these two graphs to visualize the variable scope.