En informática , el análisis de flujo de control ( CFA ) es una técnica de análisis de código estático para determinar el flujo de control de un programa. El flujo de control se expresa como un gráfico de flujo de control (CFG). Tanto para los lenguajes de programación funcional como para los lenguajes de programación orientados a objetos , el término CFA y elaboraciones como k -CFA se refieren a algoritmos específicos que calculan el flujo de control. [ dudoso – discutir ]
Para muchos lenguajes de programación imperativos , el flujo de control de un programa es explícito en el código fuente de un programa. [ dudoso – discutir ] Como resultado, el análisis de flujo de control interprocedimental implícitamente suele referirse a una técnica de análisis estático para determinar los receptores de llamadas a funciones o métodos en programas informáticos escritos en un lenguaje de programación de orden superior. [ dudoso – discutir ] Por ejemplo, en un lenguaje de programación con funciones de orden superior como Scheme , el objetivo de una llamada a función puede no ser explícito: en la expresión aislada
( lambda ( f ) ( f x )) No está claro a qué procedimiento fse puede referir. Un análisis del flujo de control debe considerar dónde se podría invocar esta expresión y qué argumento puede recibir para determinar los posibles objetivos.
Se pueden utilizar técnicas como la interpretación abstracta , la resolución de restricciones y los sistemas de tipos para el análisis del flujo de control. [1] [ página necesaria ]
