Search
Now showing items 1-1 of 1
Comprehensive Path-sensitive Data-flow Analysis
(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 ...