Generating Program Contexts
In the previous chapter we have introduced a new data structure named program contexts. Moreover, we have explained how to compute program contexts for a variety of program statements. However, the denotational semantic approach as used in the previous chapter cannot deal with more complex control flow such as GOTO statements. Although there are algorithms  that translate a program containing GOTOs to a well-structured program, the relationship between analyzed program and analysis information would be hidden. Hence, we introduce an algorithm that computes program contexts for programs that are represented by control flow graphs(CFG). By using CFGs the control flow of a program is abstracted as a graph and syntactical details such as GOTOs, IFs, etc. are encoded in the graph.
KeywordsPath Condition Control Flow Graph Call Graph Loop Body Successor Node
Unable to display preview. Download preview PDF.