Welcome to our new site version. Your web page bookmarks may have changed, please search for pages by title to update them. Having problems ? Please try clearing your web browser cache and hard-reloading your web page first before contacting our webmaster.

Control Flow Analysis

[document] Submitted on 2 June, 2019 - 11:58
Keywords control flow analysis flow analysis analysis
Standards groups

Control Flow Graph (CFG) • Control-Flow Graph G = • Nodes(N):Basic Blocks • Edges(E):(x,y) ∈ E iff first instruction in the basic block y follows the last instruction in the basic block x –First instruction in yis the target of branch or jump instruction (last instruction) in the basic block x –first instruction of y is next after the last instruction of xin memory and the last instruction of xis not a jump instruction

Date published
Document type
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
File MIME type Size (KB) Language Download
Flow Analysis.pdf application/pdf   155.52 KB English DOWNLOAD!
File attachments
Cover images

Implementing constant propagation
• Find an RHS expression which is a constant • Replace the use of the LHS variable with the RHS constant given that: –All paths to the use of LHS variable passes the assignment of the LHS variable with the constant –There are no intervening definition of the LHS variable

Visit also