Analysen er et eksempel på et problem knyttet til dataflytanalyse. Mengden med tilgjengelige uttrykk blir vedlikeholdt. Hver setning analyseres for å se om den forandrer operandene til et eller flere tilgjengelige uttrykk, noe som fører til mengder av tilgjengelige uttrykk på slutten av hver grunnleggende blokk, kjent som «utgangspunktet» (outset). Et uttrykk er tilgjengelig ved starten av en grunnleggende blokk hvis det er tilgjengelig ved slutten av den grunnleggende blokkens forgjengere. Dette gir et sett med ligninger i betydningen tilgjengelige uttrykk, som kan beregnes ved en iterativ algoritme.