1
Download Control Flow Graphs for Real-Time System Analysis
Transcript
3.2. Detailed Structure of CFG and CG a) b1 normal true start 1 call false ... return ... start n normal b2 b2 b1 true call false start 2 local return start n normal start 1 call start 2 local b) b1 local return b2 c) d) b1 true start 1 start 2 ... call false local return start n normal b2 start 1 start 2 ... start n exit Figure 3.2: Different types of calls and their representation in the ICFG. a) normal call (with several alternative targets), b) conditional call, c) conditional no-return call, e) conditional immediate-return call 51
