Control-flow analysis: Difference between revisions

Revision as of 18:18, 1 June 2015

Revision as of 21:18, 26 June 2017

Line 8:

it is unclear to which procedure <code>f</code> may refer. To determine the possible targets, a control-flow analysis must consider where this expression could be invoked, and what argument it may receive.

Techniques such as [[abstract interpretation]], [[constraint solving]], and [[type system]]s may be used for control-flow analysis.<ref>{{cite book |author-first1=Flemming |author-last1=Nielson, |author-first2=Hanne Riis |author-last2=Nielson & |author-first3=Chris |author-last3=Hankin (1999). ''|title=Principles of Program Analysis''. |publisher=[[Springer. Science+Business Media]] |date=2005}}</ref>{{page needed|date=July 2014}}

== See also ==