An algorithm to generate the context-sensitive synchronized control flow graph