El análisis de control de flujo es una técnica de análisis estático de software para determinar las estructuras de control de un programa. El control del flujo se representa a través del grafo de control del flujo (CFG). En la mayoría de los lenguajes el control del flujo se encuentra explicito en el código fuente del programa. Como resultado el análisis de control de flujo implica usualmente referirse a un análisis estático de software.