49 citations · 103 across the 20 of their papers we have counts for
1 paper · 1 filter
Komal Pathade, Uday Khedker
The control flow graph (CFG) representation of a procedure used by virtually all flow-sensitive program analyses, admits a large number of infeasible control flow paths i.e., these…