flow graph

Graf orientat, ale carui noduri sunt blocuri de baza (vezi basic block). Exista un arc intre blocurile B1 si B2, daca prima instructiune a lui B2 poate apare imediat dupa ultima instructiune a lui B1 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)."