B Zhang, N Li, MR Liu, Y Zhai - US Patent 10,613,842, 2020 - Google Patents
(57) ABSTRACT A computer-implemented method includes receiving an ini tial control flow
graph (CFG) describing a project, where the project includes one or more programs. The …