Revision as of 14:38, 29 January 2011 edit Ruud Koot (talk \| contribs) 31,416 edits cat ← Previous edit		Revision as of 14:39, 29 January 2011 edit undo Ruud Koot (talk \| contribs) 31,416 edits control flow graph Next edit →
Line 1: '''Control flow analysis''' is a [[static code analysis]] technique for determining the [[control flow]] of a program. The control flow is expressed as a [[control flow graph]] (CFG). For many languages, the control flow of a program is explicit in a program's source code. As a result, control-flow analysis implicitly usually refers to a [[static analysis]] technique for determining the receiver(s) of function or method calls in computer programs written in a [[higher-order programming language]]. For both [[functional programming language]]s and [[object-oriented programming language]]s, the term [[CFA]] refers to an algorithm that computes control flow.

Control-flow analysis: Difference between revisions