Kontrollflytanalyse
En form for statisk analyse basert på en representasjon av unike stier (sekvenser av hendelser) i utføringen av instruksjonene gjennom en komponent eller et system. Gjennom kontrollflytanalyse evalueres integriteten i strukturen til kontrollflyten ved å se etter uregelmessigheter som f.eks. lukkede løkker eller instruksjoner som ikke kan nås.
