Control-flow analysis: Difference between revisions

Revision as of 17:36, 11 May 2020

Revision as of 05:17, 13 March 2021

Line 7:

(lambda (f) (f x))

</syntaxhighlight>

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

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 |title=Principles of Program Analysis |publisher=[[Springer Science+Business Media]] |date=2005}}</ref>{{page needed|date=July 2014}}