Enciclopedia universală

Graful fluxului controlului

Graful fluxului controlului - Graf orientat, ale carui noduri sunt blocuri de baza. Exista un arc intre blocurile Bj si B2, daca prima instructiune a lui B2 poate apare imediat dupa ultima instructiune a lui Bj pentru o executie particulara a programului. Folosind acest graf, se pot obtine informatii despre variabilele programului, ca de exemplu: durata valabilitatii unei definitii de variabila (pana la urmatoarea definitie a sa), durata de viata a unei variabile, portiunea din program in care variabilele ce apar intr-o expresie raman neschimbate etc. Acest tip de analiza se numeste analiza a fluxului de date (engl. Data-flow analysis).