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

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Browse the full SAC paper archive.