Content deleted Content added
Citation bot (talk | contribs) m [344]Misc citation tidying. |
Nick Number (talk | contribs) m repaired link(s) to disambiguation page - (you can help) - CFA |
||
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
The term '''control flow analysis''' was introduced independently by Neil D. Jones<ref>{{citation
| |||