• Comprehensive Path-sensitive Data-flow Analysis 

      Thakur, Aditya (2010-08-25)
      Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. We initially perform data-flow ...