Control-flow analysis

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Control-flow_diagram/qgNyoHTJ">Control-flow diagram</a> (CFD)</li>
<li><a href="/facts/Data-flow_analysis/jz2oI6sX">Data-flow analysis</a></li>
<li><a href="/facts/Cartesian_product_algorithm/BfqBWzdL">Cartesian product algorithm</a></li>
<li><a href="/facts/Pointer_analysis/FVDI91nd">Pointer analysis</a></li></ul>

<h2 id="external-links">External links</h2>

Wikimedia Commons has media related to Control-flow analysis.

<ul><li><a href="https://web.archive.org/web/20140728203154/http://pages.cs.wisc.edu/~cs701-1/NOTES/3.CONTROL-FLOW-ANALYSIS.html">for textbook intraprocedural CFA in imperative languages</a></li>
<li><a href="http://janmidtgaard.dk/papers/Midtgaard-CSur-final.pdf">CFA in functional programs (survey)</a></li>
<li><a href="http://cgi.di.uoa.gr/~smaragd/kcfa-pldi10.pdf">for the relationship between CFA analysis in functional languages and points-to analysis in imperative/OOP languages</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Nielson, Flemming; Nielson, Hanne Riis; Hankin, Chris (2005). Principles of Program Analysis. Springer Science+Business Media. <a href="/wiki/Hanne_Riis_Nielson" target="_blank">/wiki/Hanne_Riis_Nielson</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
</ol>

Control-flow analysis open-in-new

Control-flow analysis