Ohjausvirtausanalyysi on staattista koodianalyysiä , joka määrittää ohjelman suoritusjärjestyksen . Suoritusjärjestys ilmaistaan ohjausvuokaaviona .
Monilla kielillä ohjausvuokaavio näkyy selvästi ohjelman lähdekoodissa. Tämän seurauksena ohjausvirtausanalyysi viittaa yleensä staattiseen koodianalyysiin. Analyysin aikana määritetään korkean tason kielillä kirjoitettujen ohjelmien kutsumien toimintojen ja menetelmien vastaanottajat . Sekä toiminnallisissa ohjelmointikielissä että olioohjelmointikielissä termi "Ohjausvirtausanalyysi" tarkoittaa algoritmia, joka luo ohjausvuokaavion .
Termiä ohjausvirtausanalyysi käyttivät ensin Neil D. Jones [ 1] ja Olin Shivers [2] .
Ohjausvirran analysointiin voidaan käyttää: Abstrakti tulkinta , rajoitustyytyväisyys , tietojen kirjoittaminen .