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
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

Defines standard
Visit also