On the Use of Data Flow Analysis in Static Profiling