Before revision:  This methodology guided us to design a new parallel analysis for constructing control flow graphs and identify thread-safety issues widely spread in the codebase .
After revision:  This methodology guided us to design a new parallel analysis for constructing CFGs .