Komal Pathade, Uday P. Khedker. Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments. In José Nelson Amaral, Milind Kulkarni 0001, editors, Proceedings of the 28th International Conference on Compiler Construction, CC 2019, Washington, DC, USA, February 16-17, 2019. pages 159-169, ACM, 2019. [doi]
Abstract is missing.